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