Калькулятор приведения функции к ДНФ и КНФ
Описание калькулятора
Данный калькулятор предназначен для приведения логической функции к дизъюнктивной нормальной форме (ДНФ) и конъюнктивной нормальной форме (КНФ). ДНФ – это логическая формула, которая является дизъюнкцией (логическим ИЛИ) конъюнкций (логических И), а КНФ – это логическая формула, которая является конъюнкцией дизъюнкций.
Для использования калькулятора введите логическую функцию в поле ввода и нажмите кнопку “Привести к ДНФ и КНФ”. Результат будет выведен под формой ввода.
Пример функции: (A ИЛИ B) И (C ИЛИ D). ДНФ этой функции будет выглядеть как (A И C) ИЛИ (A И D) ИЛИ (B И C) ИЛИ (B И D), а КНФ – как (A ИЛИ B) И (A ИЛИ C) И (A ИЛИ D) И (B ИЛИ C) И (B ИЛИ D).
Обратите внимание, что калькулятор работает только с функциями, состоящими из бинарных операций И и ИЛИ, и переменных.