Adolph Christian C.

Gonzales

GED102 – Mathematics in the Modern World

EXERCISE 3: Construct the truth tables for the given statements.

1. p ^ (~q)

p q p ^ (~q)
F F F
F T F
T F T
T T F

2. [p^(~q)] v [(~p) v q]

p q [p^(~q)] v [(~p) v q]
F F T
F T T
T F T
T T T

3. ~ (p \/ ~q) \/ p

p q ~ (p \/ ~q) \/ p
F F F
F T T
T F T
T T T
 1. p \/ (q /\ r) and (p \/ q) /\ (p \/ r)

p q r q∧r p ∨ (q ∧ r) p∨q p∨r (p ∨ q) ∧ (p ∨ r)

T T T T T T T T

T T F F T T T T

T F T F T T T T

T F F F T T T T

- It is logically equivalent for the pairs are the same.

2. ~ (~p -> q) and p -> ~q

p q ~p ~p ⇒ q ~ (~p ⇒ q) ~q p ⇒~q

T T F T F F F

T F F T F T T

F T T T F F T

F F T F T T T

- Not logically equivalent because the pair is different from each other.

3. ~ (p /\ q) and (~p) \/ (~q)

p q p∧q ~ (p ∧ q) ~p ~q (~p) ∨ (~q)

T T T F F F F

T F F T F T T

F T F T T F T

F F F T T T T
- It is logically equivalent for the pairs are the same as seen in column 4 and 7