Using a method of your choice, verify
each of the equivalences in
Table logical-equivalence-table (page logical-equivalence-table).
Using a method of your choice, verify each of the equivalences in Table logical-equivalence-table (page logical-equivalence-table).