Advertisements
Advertisements
Question
Using the algebra of statement, prove that
(p ∧ q) ∨ (p ∧ ~ q) ∨ (~ p ∧ ~ q) ≡ (p ∨ ~ q)
Advertisements
Solution
L.H.S.
= (p ∧ q) ∨ (p ∧ ~ q) ∨ (~ p ∧ ~ q)
≡ (p ∧ q) ∨ [(p ∧ ~ q) ∨ (~ p ∧ ~ q)] ....[Associative Law]
≡ (p ∧ q) ∨ [(~q ∧ p) ∨ (~ q ∧ ~ p)] ....[Commutative Law]
≡ (p ∧ q) ∨ [~q ∧ (p ∨ ~ p)] ....[Distributive Law]
≡ (p ∧ q) ∨ (~q ∧ t) .....[Complement Law]
≡ (p ∧ q) ∨ (~q) .....[Identity Law]
≡ (p ∨ ~ q) ∧ (q ∨ ~q) .....[Distributive Law]
≡ (p ∨ ~ q) ∧ t ....[Complement Law]
≡ p ∨ ~ q .....[Identity Law]
= R.H.S.
APPEARS IN
RELATED QUESTIONS
The negation of p ∧ (q → r) is ______________.
Without using truth tabic show that ~(p v q)v(~p ∧ q) = ~p
Using the rules of negation, write the negatlon of the following:
(a) p ∧ (q → r)
(b) ~P ∨ ~q
Write the Truth Value of the Negation of the Following Statement :
The Sun sets in the East.
Without using truth table prove that:
(p ∨ q) ∧ (p ∨ ∼ q) ≡ p
Without using truth table prove that:
(p ∧ q) ∨ (∼ p ∧ q) ∨ (p ∧ ∼ q) ≡ p ∨ q
Using rules in logic, prove the following:
p ↔ q ≡ ∼(p ∧ ∼q) ∧ ∼(q ∧ ∼p)
Using rules in logic, prove the following:
∼ (p ∨ q) ∨ (∼p ∧ q) ≡ ∼p
Using the rules in logic, write the negation of the following:
(p ∨ q) ∧ (q ∨ ∼r)
Using the rules in logic, write the negation of the following:
(p → q) ∧ r
Let p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r). Then, this law is known as ______.
Without using truth table, show that
p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
Without using truth table, show that
p ∧ [(~ p ∨ q) ∨ ~ q] ≡ p
Without using truth table, show that
~r → ~ (p ∧ q) ≡ [~ (q → r)] → ~ p
Using the algebra of statement, prove that
[p ∧ (q ∨ r)] ∨ [~ r ∧ ~ q ∧ p] ≡ p
Using the algebra of statement, prove that (p ∨ q) ∧ (~ p ∨ ~ q) ≡ (p ∧ ~ q) ∨ (~ p ∧ q).
The statement pattern p ∧ ( q v ~ p) is equivalent to ______.
The logically equivalent statement of (p ∨ q) ∧ (p ∨ r) is ______
The negation of p → (~p ∨ q) is ______
The negation of the Boolean expression (r ∧ ∼s) ∨ s is equivalent to: ______
∼ ((∼ p) ∧ q) is equal to ______.
The simplified form of [(~ p v q) ∧ r] v [(p ∧ ~ q) ∧ r] is ______.
The logically equivalent statement of \[\left(\sim p\wedge q\right)\vee\left(\sim p\wedge\sim q\right)\] \[\vee\left(\ p\wedge\sim q\right)\] is
