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