Изменения
* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам.
* Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''.
== Нормальные формы логической функции: ==
* [[совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]);
* [[совершенная конъюнктивная нормальная форма]] ([[СКНФ]]);
* [[минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]);
* [[минимальная конъюнктивная нормальная форма]] ([[МКНФ]]).
== Другие понятия: ==