From: Imagination's End (stlauren@cadvision.com)
Date: 4-Feb-95 (21:53:5 GMT)
Subj: Truth Operators (i and j)
The following shows that i is and and j is or.
GRiRiRG (T /\ T = T)
GRiSiSG (T /\ F = F)
GSiSiRG (F /\ F = F)
GSiSiSG (F /\ F = F)
GRjRjRG (T \/ T = T)
GRjRjSG (T \/ F = T)
GSjRjRG (S \/ T = T)
GSjSjSG (S \/ S = S)