Логический закон — различия между версиями
Материал из ALL
Строка 16: | Строка 16: | ||
*[[карта Карно]]; | *[[карта Карно]]; | ||
*[[трёхмерная карта Карно]]; | *[[трёхмерная карта Карно]]; | ||
+ | *[[полином Жегалкина]]; | ||
*[[предикат]]; | *[[предикат]]; | ||
*[[секвенции]]; | *[[секвенции]]; |
Версия 12:26, 8 февраля 2016
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Аксиомы:
Дополнительные законы:
Эквиваленции:
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
Другие понятия:
- логический закон;
- логическая функция;
- таблица истинности;
- карта Карно;
- трёхмерная карта Карно;
- полином Жегалкина;
- предикат;
- секвенции;
- силлогизм;
- суждение;
- умозаключение.