Professional Documents
Culture Documents
T T T T F T
T T F F T T
T F T F T T
T F F F T T
F T T T F T
F T F F T F
F F T F T F
F F F F T F
We see that in rows 2,3 and 4, both ~(b&c) and av(b&c) are true and a is also true.
q: The militants will not make trouble / The militants behave themselves.
q -> p
p -> q
Therefore p ^ q
In the last row, both p->q and q->p are true but p^q is false.
~(pvr)
Therefore q
From the table, (pvq) and ~(pvr) are both true in only row 6 when q is also true.