Просмотр исходного текста страницы Логическая функция

'''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''. 
== Обозначения == 
Введём обозначения:

'''n''' – число аргументов функции;

'''(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – набор аргументов функции;

'''f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – логическая функция.
== Виды логических функций: == 
=== Одноместные (унарные) функции ===
[[файл:ЛФ01.JPG]]
=== Двухместные (бинарные) функции ===
[[файл:ЛФ02.JPG]]
*Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам.
*Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''.

К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая.
== [[Логические понятия|Другие понятия:]] ==
{{Список ЛП}}
== Ссылки ==
*[[Участник:Logic-samara]] 
[[Категория:Дискретная математика]][[Категория:Логика]]