Question 1
Are the following two logical expressions equivalent?
Expression 1: ¬(p ∧ q)
Expression 2: ¬p ∨ ¬q
Answer Yes or No and explain why.
Step 1: Understand what logical equivalence means
Two expressions are logically equivalent if they have the same truth value for ALL possible combinations of variables.
Step 2: Analyze the expressions
Expression 1: ¬(p ∧ q)
Expression 2: ¬p ∨ ¬q
Step 3: Apply De Morgan's Law
De Morgan's Law states: ¬(p ∧ q) ≡ ¬p ∨ ¬q
The negation of a conjunction equals the disjunction of negations.
These expressions ARE equivalent.
Verification with truth table:
p=T, q=T: ¬(T∧T)=F and ¬T∨¬T=F ✓
p=T, q=F: ¬(T∧F)=T and ¬T∨¬F=T ✓
p=F, q=T: ¬(F∧T)=T and ¬F∨¬T=T ✓
p=F, q=F: ¬(F∧F)=T and ¬F∨¬F=T ✓
Two expressions are logically equivalent if they have the same truth value for ALL possible combinations of variables.
Step 2: Analyze the expressions
Expression 1: ¬(p ∧ q)
Expression 2: ¬p ∨ ¬q
Step 3: Apply De Morgan's Law
De Morgan's Law states: ¬(p ∧ q) ≡ ¬p ∨ ¬q
The negation of a conjunction equals the disjunction of negations.
These expressions ARE equivalent.
Verification with truth table:
p=T, q=T: ¬(T∧T)=F and ¬T∨¬T=F ✓
p=T, q=F: ¬(T∧F)=T and ¬T∨¬F=T ✓
p=F, q=T: ¬(F∧T)=T and ¬F∨¬T=T ✓
p=F, q=F: ¬(F∧F)=T and ¬F∨¬F=T ✓