MathProblemsBank

6.3.21 Boolean algebra

Problem: From the formula go to the truth table and use the table to construct the perfect CNF. \[ \bar{x} \vee \overline{(y z)} x \text {. } \]