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