Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

Create a truth table for the following statement:

1. (¬P => ¬Q) <=> (¬Q => ¬P)


2n = 22 = (2) (2) = 4

P Q ¬P ¬Q ¬Q ¬P (¬P => ¬Q) (¬Q => ¬P) (¬P => ¬Q) <=> (¬Q => ¬P)
T T F F F F T T T
T F F T T F T F F
F T T F F T F T F
F F T T T T T T T

2. (P ∧ Q) V R <=> P ∧ (Q V R)
2n = 23 = (2) (2) (2) = 8

P Q R (P ∧ Q) (P ∧ Q) V R (Q V R) P ∧ (Q V R) (P ∧ Q) V R <=> P ∧ (Q V R)
T T T T T T T T
T T F F F T T F
T F T F T T T T
T F F F F F F T
F T T F T T F F
F T F F F T F T
F F T F T T F F
F F F F F F F T

3. (¬P V Q) V R => (¬Q ∧ P) V R


2n = 23 = (2) (2) (2) = 8
(¬P V Q) V R =>
P Q R ¬P ¬Q (¬P V Q) (¬P V Q) V R (¬Q ∧ P) (¬Q ∧ P) V R
(¬Q ∧ P) V R
T T T F F T T F T T
T T F F F T T F F F
T F T F T F T T T T
T F F F T F F T T T
F T T T F T T F T T
F T F T F T T F F F
F F T T T T T F T T
F F F T T T T F F F

You might also like