Изменения
'''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''.
== Виды логических функций: Обозначения == === Одноместные (унарные) функции ===[[файл:ЛФ01.JPG]]=== Двухместные (бинарные) функции ===[[файл:ЛФ02.JPG]]* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам.* Логическая функция является [[предикат]]ом, определённым на множестве '''{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.png]]
=== Двухместные (бинарные) функции: ===
[[файл:ЛФ02.png]]
*Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам.
*Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''.
== [[Логические понятия|Другие понятия:]] ==
{{Список ЛПон}}
== Ссылки ==
* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]
