Scribd
Upload
114 views3 pages

GED102 - Exercise 3 - GONZALES

The document summarizes the truth tables for several logical statements involving propositional variables p and q. It shows the truth values of the statements for all combinations of True and False values assigned to p and q. The document also analyzes whether three pairs of statements are logically equivalent based on comparing their truth tables. It determines the first pair is equivalent because their truth tables are identical, the second pair is not equivalent because one truth table value differs, and the third pair is equivalent because their truth tables match.

Uploaded by

Adolph Christian Gonzales
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
114 views3 pages

GED102 - Exercise 3 - GONZALES

The document summarizes the truth tables for several logical statements involving propositional variables p and q. It shows the truth values of the statements for all combinations of True and False values assigned to p and q. The document also analyzes whether three pairs of statements are logically equivalent based on comparing their truth tables. It determines the first pair is equivalent because their truth tables are identical, the second pair is not equivalent because one truth table value differs, and the third pair is equivalent because their truth tables match.

Uploaded by

Adolph Christian Gonzales
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

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

You might also like