Title: A mechanization of Quine's canonical form
Subjects: Algebra, Boolean, Boolean Algebra, Computers, Polynomials