Keidy Cando

Create a truth table for each statement.

1. (P ∨ Q) ∧ ∼ (P ∧ Q)

P Q (P ∨ Q) ∼ (P ∧ Q) (P ∨ Q) ∧ ∼ (P ∧
Q)

T T T F F

T F T T T

F T T T T

F F F T F

2. ∼ P ∨ Q ⇒ ∼ R

P Q R ∼P ∼R ∼P∨Q ∼P∨Q⇒∼
R

T T T F F T F

T T F F T T T

T F T F F F T

T F F F T F T

F T T T F T F

F T F T T T T

F F T T F T F

F F F T T T T

3. P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
P Q R (Q ∨ P ∧ (Q (P ∧ (P ∧ R) (P ∧ Q) ∨ (P ∧ P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨
R) ∨ R) Q) R) (P ∧ R)

T T T T T T T T T

T T F T T T F T T

T F T T T F T T T

T F F F F F F F T

F T T T F F F F T

F T F T F F F F T

F F T T F F F F T

F F F F F F F F T

4. ~Q → (~P ∨ Q)

Q P ~Q ~P (~P ∨ Q) ~Q → (~P ∨ Q)

T T F F T T

T F F T T T

F T T F F F

F F T T T T

5. (~P → Q) ∨ (~P ∧ ~Q)

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