Какая из формул является ДНФ для ?

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