1 line
101 B
Plaintext
1 line
101 B
Plaintext
|
p, q, s, p and q, E p iff q, p iff (q and s), E not ((not p and q) or (not p and not q)) or (p and q)
|