You are on page 1of 1

Math Act 2

1. Show, by the use of the truth table/matrix, that the statement

is a tautology.

p q ̚ p ̚ q ̚ p˄̚q p˅q (p ˅ q) ˄ (̚ p ˄ ̚ q)
F F T T T F T
F T T F F T T
T F F T F T T
T T F F F T T

p q ̚ p ̚ q ̚ p˄̚ p˄q p↔q (p ↔ q) ˄ (p ˄ q) [(p ↔ q) ˄ (p ˄ q)] ˅ (̚ p ˄ ̚ q)


q
F F T T T F T F F
F T T F F F F F F
T F F T F F F F F
T T F F F T T T T

2. Show that  are logically equivalent.

You might also like