♯P-complete
article-link
What links here
Disjunctive normal form
PHP
article-link
Boolean satisfiability problem
article-link
Automated theorem proving
article-link
Conjunctive normal form
article-link
De Morgan's laws
article-link
History of logic
article-link
DNF
article-link