uzluga.ru
добавить свой файл


Булевы функции

  • СДНФ и СКНФ


Дополнительные операции

  • Импликация



Приоритет операций

  • Инверсия

  • Штрих Шеффера

  • Стрелка Пирса

  • Конъюнкция

  • Дизъюнкция

  • Сложение по модулю 2

  • Импликация

  • Эквивалентность



Формы функций

  • Дизъюнктивная нормальная форма (ДНФ)— нормальная форма, в которой булева формула имеет вид дизъюнкции нескольких конъюнкций.

  • Конъюнктивная нормальная форма (КНФ)— нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов.

  • Элементарная конъюнкция - конъюнкция любого числа переменных, взятых по одному разу с отрицанием или без.



Правильные элементарные конъюнкции



Основные теоремы



Преобразовать до ДНФ



Задача