Логическая функция — различия между версиями
м |
|||
| (не показано 6 промежуточных версий этого же участника) | |||
| Строка 9: | Строка 9: | ||
'''f(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]] | [[файл:ЛФ01.png]] | ||
| + | === Двухместные (бинарные) функции: === | ||
| + | [[файл:ЛФ02.png]] | ||
*Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | *Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | ||
*Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | *Логическая функция является [[предикат]]ом, определённым на множестве '''{0,1}'''. | ||
К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая. | К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая. | ||
| + | == [[Логические понятия|Логические функции:]] == | ||
| + | {{Список ЛФун}} | ||
== [[Логические понятия|Другие понятия:]] == | == [[Логические понятия|Другие понятия:]] == | ||
{{Список ЛП}} | {{Список ЛП}} | ||
| + | |||
== Ссылки == | == Ссылки == | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
| − | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]][[Категория:Функции]] |
Текущая версия на 07:46, 21 октября 2024
Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.
Содержание
Обозначения
Введём обозначения:
n – число аргументов функции;
(x1,x2,…,xn) – набор аргументов функции;
f(x1,x2,…,xn) – логическая функция.
Виды логических функций:
Одноместные (унарные) функции:
Двухместные (бинарные) функции:
- Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
- Логическая функция является предикатом, определённым на множестве {0,1}.
К нормальным формам логической функции относятся: совершенная дизъюнктивная, совершенная конъюнктивная, минимальная дизъюнктивная, минимальная конъюнктивная, алгебраическая.
Логические функции:
Другие понятия:
