These logically equivalent statements can be checked by using a truth table.

Commutative laws

Associative laws

Distributive Laws

DML for Quantifiers

ECE124 Digital Circuits

The complement of a sum of variables is equal to the product of the complements of the variables. Stated another way, The complement of two or more ORed variables is equivalent to the AND of the complements of the individual variables,