Make a Fully truth table and Show that they are logically equivalent
⌐ (⌐p ∧ q) ∧ (p ∨q) ≡ p
We build a truth table. The table is shown in the figure. Since the first and last columns coincide, we conclude that the propositions are logically equivalent.
Comments
Leave a comment