Представление булевой функции синтаксическим способом, т.е. в виде формулы, часто оказывается намного удобнее чем таблицей истинности.
Нормальная форма булевой функции – это синтаксически однозначный способ записи формулы, реализующей заданную функцию.
Дизъюнктивная нормальная форма (ДНФ) — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.
Конъюнктивная нормальная форма (КНФ) — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов.
Алгебраическая нормальная форма (в отечественной литературе полином Жегалкина) — это форма представления логической функции в виде полинома с коэффициентами вида 0 и 1, в котором в качестве произведения используется операция конъюнкции («И», AND), а в качестве сложения — сложение по модулю 2 (исключающее «ИЛИ», XOR).
С помощью нашего решебника вы можете преобразовать булево выражение в нормальную форму. Ниже приведены примеры команд. Скопируйте и вставьте в строку решателя или просто наберите ваш пример а затем нажмите кнопку "Решить".
Преобразовать логическое выражение в дизъюнктивную нормальную форму
DNF (P || Q || R) && (~P || ~Q)
Преобразовать булево выражение в конъюнктивную нормальную форму
CNF (P && ~Q) || (R && S) || (Q && R && ~S)
Преобразовать булево выражение в алгебраическую нормальную форму