Propositional Logic

1 0 ~P P & Q P + Q P > Q P = Q P # Q P | Q
true false not and or implies equivalent xor sheffer stroke