You are on page 1of 2

P Q ~P (~P/\Q) (P/\~Q) (~P/\Q)\/(P/\~Q)

T T F F F F
T F F T T T
F T T F F T
F F T T F F

P Q R ~Q (P/\Q) (P\/~Q)\/R
T T T F F T
T T F F F F
T F T T T T
T F F T T T
F T T F F T
F T F F F F
F F T T F T
F F F T F F

P Q ~P ~Q (P/\~Q) (P/\~Q)\/P ~[(P/\~Q)\/~P


T T F F F F T
T F F T T T F
F T T F F T F
F F T T F T F

P Q R ~P ~Q ~R (P\/Q) ~(~Q/\R) (P\/Q)~(~Q/\R)


T T T F F F T F T
T T F F F T T F T
T F T F T F T T F
T F F F T T T F T
F T T T F F T F T
F T F T F T T F T
F F T T T F F T F
F F F T T T F F F

P Q ~P ~Q ~P/\Q ~P\/Q (~P/\Q)\/(~P\/Q)


T T F F F T T
T F F T F F F
F T T F T T T
F F T T F T T

P Q ~Q (P\/Q) (P\/Q)/\~Q ~[(P\/Q)/\~Q]


T T F T F T
T F T T T F
F T F T F T
F F T F F T
P Q ~P (P/\Q) (P/\Q)\/~P
T T F T T
T F F F F
F T T F T
F F T F T

P Q ~Q ~P ~P\/Q ~Q(~P\/Q)
T T F F T T
T F T F F F
F T F T T T
F F T T T T

P Q ~P ~Q ~PQ ~P/\~Q (~PQ)\/(~P/\~Q)


T T F F T F T
T F F T T F T
F T T F T F T
F F T T F T T

P R Q ~Q ~R ~Q/\P (Q/\ ~R~Q (~R~Q)\/P [(~Q/\P)R][(~R~Q)\/P]


P)R
T T T F F F T T T T
T T F T F T T T T T
T F T F T F T F T T
T F F T T T F T T F
F T T F F F T T T T
F T F T F F T T T T
F F T F T F T F F F
F F F T T F T T T T

You might also like