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