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