p q p and q 0 0 0 0 1 0 1 0 0 1 1 1 p q p and q 0 0 0 0 1 0 1 0 0 1 1 1 |
p q p or q 0 0 0 0 1 1 1 0 1 1 1 1 p q p or q 0 0 0 0 1 1 1 0 1 1 1 1 |
p ~p 0 1 1 0 p ~p 0 1 1 0 |
p q ~p ~q p and q not(p and q) 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 p q ~p ~q p and q not(p and q) 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 |
p q ~p ~q not p or not q 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 p q ~p ~q not p or not q 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 0 0 |
|