Логическая функция — различия между версиями
Материал из ALL
Строка 9: | Строка 9: | ||
* Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | * Значения логической функции задаются с помощью [[Таблица истинности|таблицы истинности]] или определяются по формулам. | ||
+ | * Логическая функция - это [[предикат]], определённый на множестве '''{0,1}'''. | ||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 09:43, 16 ноября 2015
Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.
Содержание
Виды логических функций:
Одноместные (унарные) функции
Двухместные (бинарные) функции
- Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
- Логическая функция - это предикат, определённый на множестве {0,1}.