P
Q
¬P
¬Q
P→Q
¬P∨Q
(P∧¬Q)
¬(P∧¬Q)
T
T
F
F
T
T
F
T
T
F
F
T
F
F
T
F
F
T
T
F
T
T
F
T
F
F
T
T
T
T
F
T
/
P→Q ↔ ¬P∨Q ↔ ¬(P∧¬Q)
/
...
Home