In this video, York student Salomé shows how we can test for logical equivalence using a truth-table, demonstrating De Morgan's law.
Share this step
This video gives an example of testing for logical equivalence using a truth-table. In this case, we show that ‘(P & Q)’ is logically equivalent to ‘~(~P (vee) ~Q)’. This equivalence is called De Morgan’s Law.