Answer to Question #179477 in Discrete Mathematics for amir

Question

a)   Determine whether  are equivalent without using truth table.

Answer 1

To do so, you need to use the following laws:

Commutative laws: p ∧ q ≡ q ∧ p

p ∨ q ≡ q ∨ p

De Morgan’s laws: ∼(p ∧ q) ≡ ∼p ∨ ∼q

∼(p ∨ q) ≡ ∼p ∧ ∼q

Idempotent laws: p ∧ p ≡ p

p ∨ p ≡ p

Associative laws: (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Distributive laws: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

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