Logicmedium
0:00.0

Which logical equivalence is used to prove that a set of connectives is functionally complete?