Изменения

Логическая функция

865 байтов убрано, 13 январь
'''Логическая функция''' — это функция, аргументами которой являются только '''булевы переменные''' (принимающие значения из множества '''{0,1}''') и которая на любом наборе значений этих аргументов принимает значения из множества '''{0,1}'''.
== Обозначения ==
Введём обозначения:
 
'''n''' – число аргументов функции;
'''f(x<sub>1</sub>,x<sub>2</sub>,…,x<sub>n</sub>)''' – логическая функция.
== Виды логических функций: ==
=== Одноместные (унарные) функции : ===[[файл:ЛФ01.JPGpng]]=== Двухместные (бинарные) функции : ===[[файл:ЛФ02.JPGpng]]* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам.* Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''.== Нормальные формы логической функции: ==*[[Совершенная дизъюнктивная нормальная форма]] ([[СДНФ]]);*[[Совершенная конъюнктивная нормальная форма]] ([[СКНФ]]);*[[Минимальная дизъюнктивная нормальная форма]] ([[МДНФ]]);*[[Минимальная конъюнктивная нормальная форма]] ([[МКНФ]]);*[[Алгебраическая нормальная форма]] ([[АНФ]]).== Логические понятия|Другие понятия: ]] ==*[[логический закон]];*[[логическая функция]];*[[таблица истинности]];*[[карта Карно]];*[[трёхмерная карта Карно]];*[[полином Жегалкина]];*[[предикат]];*[[секвенции]];*[[силлогизм]];*[[суждение]];*[[умозаключение]].{{Список ЛПон}}
== Ссылки ==
* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]
40 519
правок