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
whether there exists any assignment of input variables such that a given Boolean expression evaluates to 1
two Boolean expressions denote the same function