Question

Make a Fully truth table and Show that they are logically equivalent

⌐ (⌐p ∧ q) ∧ (p ∨q) ≡ p

Answer 1

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.