布尔函数
Every formula_3-ary Boolean function can be expressed as a propositional formula in formula_3 variables formula_13, and two propositional formulas are logically equivalent if and only if they express the same Boolean function.