Show following equivalence without considering the truth table.
(ð‘Ì… ∧( ð‘žÌ…∧ð‘Ÿ)) ∨(𑞠∧ð‘Ÿ) ∨(ð‘ ∧ð‘Ÿ)↔ð‘Ÿ
"(\\lnot p \\land(\\neg q \\land r))\\lor(q\\land r) \\lor(p\\land r)\\leftrightarrow(r \\land(\\neg q \\land \\neg p))\\lor(r\\land (q\\lor p)) \\leftrightarrow"
"\\leftrightarrow r\\land ((\\lnot p \\land \\lnot q) \\lor (q \\lor p)) \\leftrightarrow r\\land (\\lnot(p\\lor q) \\lor (p\\lor q)) \\leftrightarrow r\\land 1 \\leftrightarrow r"
Comments
Leave a comment