Решатели
★ Рубрика: Решатели
★ Тема: логика

Операции с булевыми функциями

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

С помощью нашего решебника вы можете преобразовать булево выражение в нормальную форму. Ниже приведены примеры команд. Скопируйте и вставьте в строку решателя или просто наберите ваш пример а затем нажмите кнопку "Решить".
Преобразовать логическое выражение в дизъюнктивную нормальную форму
DNF (P || Q || R) && (~P || ~Q)
Преобразовать булево выражение в конъюнктивную нормальную форму
CNF (P && ~Q) || (R && S) || (Q && R && ~S)
Преобразовать булево выражение в алгебраическую нормальную форму
ANF (~P || Q) && (P || ~Q)
Указать булеву функцию по номеру
11th Boolean function of 2 variables
129th Boolean function of x,y,z
5th minterm in 3 variables
12th maxterm in 4 variables
 Похожие публикации: логика

Войти и комментировать [ Вход | Регистрация ]