Какая из формул является КНФ для? 1. $$\overline{(a \lor b \lor c)}(a \lor \overline{c})b$$ 2. $$\overline{(a \land c)}(b \land \overline{c}) \land b$$ 3. $$\overline{(a \lor bc)}(a \lor \overline{cb})$$ 4. $$\overline{(a \land b)}c(a \lor \overline{c})b$$

Какая из формул является КНФ (Конъюнктивной Нормальной Формой)? КНФ — это логическая формула, которая представляет собой конъюнкцию (И) нескольких дизъюнктов (ИЛИ). Каждый дизъюнкт состоит из литералов (переменных или их отрицаний). Рассмотрим предложенные варианты: 1. $$\overline{(a \lor b \lor c)}(a \lor \overline{c})b$$ - Не является КНФ из-за наличия отрицания над всей скобкой дизъюнкции. 2. $$\overline{(a \land c)}(b \land \overline{c}) \land b$$ - Не является КНФ, так как содержит конъюнкцию внутри скобки и отрицание над скобкой с конъюнкцией. 3. $$\overline{(a \lor bc)}(a \lor \overline{cb})$$ - Не является КНФ из-за наличия сложного выражения `bc` внутри дизъюнкции и отрицания над скобкой с дизъюнкцией. 4. $$\overline{(a \land b)}c(a \lor \overline{c})b$$ - Можно упростить, используя закон де Моргана: $$\overline{(a \land b)} = \overline{a} \lor \overline{b}$$. Тогда выражение станет: $$(\overline{a} \lor \overline{b}) \land c \land (a \lor \overline{c}) \land b$$. Это выражение в КНФ. Правильный ответ: 4