Логическая функция — различия между версиями
Материал из ALL
(→Другие понятия:) |
|||
| Строка 13: | Строка 13: | ||
* [[минимальная конъюнктивная нормальная форма]] ([[МКНФ]]). | * [[минимальная конъюнктивная нормальная форма]] ([[МКНФ]]). | ||
== Другие понятия: == | == Другие понятия: == | ||
| − | * [[логический закон]]; | + | *[[машина Поста]]; |
| − | * [[ | + | *[[машина Тьюринга]]; |
| − | * [[таблица истинности]]; | + | *[[схема примитивной рекурсии]]; |
| − | * [[карта Карно]]; | + | *[[логический закон]]; |
| − | * [[трёхмерная карта Карно]]. | + | *[[логическая функция]]; |
| + | *[[таблица истинности]]; | ||
| + | *[[карта Карно]]; | ||
| + | *[[трёхмерная карта Карно]]. | ||
| + | *[[предикат]]; | ||
| + | *[[секвенции]]; | ||
| + | *[[силлогизм]]; | ||
| + | *[[суждение]]; | ||
| + | *[[умозаключение]]. | ||
| + | |||
== Ссылки == | == Ссылки == | ||
* [[Участник:Logic-samara]] | * [[Участник:Logic-samara]] | ||
[[Категория:Дискретная математика]][[Категория:Логика]] | [[Категория:Дискретная математика]][[Категория:Логика]] | ||
Версия 09:29, 23 января 2016
Логическая функция — это функция, аргументами которой являются только булевы переменные (принимающие значения из множества {0,1}) и которая на любом наборе значений этих аргументов принимает значения из множества {0,1}.
Содержание
Виды логических функций:
Одноместные (унарные) функции
Двухместные (бинарные) функции
- Значения логической функции задаются с помощью таблицы истинности или определяются по формулам.
- Логическая функция является предикатом, определённым на множестве {0,1}.
Нормальные формы логической функции:
- совершенная дизъюнктивная нормальная форма (СДНФ);
- совершенная конъюнктивная нормальная форма (СКНФ);
- минимальная дизъюнктивная нормальная форма (МДНФ);
- минимальная конъюнктивная нормальная форма (МКНФ).
Другие понятия:
- машина Поста;
- машина Тьюринга;
- схема примитивной рекурсии;
- логический закон;
- логическая функция;
- таблица истинности;
- карта Карно;
- трёхмерная карта Карно.
- предикат;
- секвенции;
- силлогизм;
- суждение;
- умозаключение.
