University of California, San Diego: Edward Bender and S. Williamson's "Arithmetic, Logic and Numbers: Boolean Functions and Computer Arithmetic"

Study Theorem 2 (Algebraic rules for Boolean Functions) on pages BF-6 and BF-7.

Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/09/CS202-Unit-BF.dvi-Edward-Bender.pdf link to open resource.