Boolean Function Satisfiability whether there exists any assignment of input variables such that a given Boolean expression evaluates to 1 Equivalence two Boolean expressions denote the same function Links Combinatorics