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