Boolean algebra
Formal methods
Theoretical computer science
Implicant
Disjunctive normal form
IP
Lambda calculus
Vector space
Boolean satisfiability problem
Bayesian network