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