Halmos (1963), Lectures on Boolean Algebras, Van Nostrand, ISBN 978-0-387-90094-0. Halmos Paul, Steven Givant (1998), Logic as Algebra, Dolciani Mathematical
енциклопедија, Шпрингер, ISBN 978-1556080104 Java applet for converting booleanlogic expressions to CNF and DNF, showing the laws used Архивирано на 8 декември
Knuth, Donald E. (2010). The Art of Computer Programming. chapter 7.1.2: Boolean Evaluation. 4A. Addison-Wesley. стр. 96–133. ISBN 0-201-03804-8. Multi-level