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