$$\large{\begin{gather*}\begin{array}{c|c|c r} p & q & F \\ \hline 0 & 0 & \color{#ff7800} 0 & p \lor q \\ \hline 1 & 0 & \color{#ff7800} 0 & \neg p \lor q \\ \hline 0 & 1 & \color{#ff7800} 0 & p \lor \neg q \\ \hline 1 & 1 & 1\end{array} \\ \\ (p \lor q) \land (\neg p \lor q) \land (p \lor \neg q)\end{gather*}}$$
Алгоритм получения совершенной конъюнктивной нормальной формы
С помощью таблицы истинности
