Логический закон — различия между версиями
(начало) |
|||
Строка 3: | Строка 3: | ||
=== Основные законы: === | === Основные законы: === | ||
[[файл:ЛЗ01.JPG]] | [[файл:ЛЗ01.JPG]] | ||
+ | [[файл:ЛЗ01.png]] | ||
=== Аксиомы: === | === Аксиомы: === | ||
[[файл:ЛЗ02.JPG]] | [[файл:ЛЗ02.JPG]] | ||
+ | [[файл:ЛЗ02.png]] | ||
=== Дополнительные законы: === | === Дополнительные законы: === | ||
[[файл:ЛЗ03.JPG]] | [[файл:ЛЗ03.JPG]] |
Версия 18:46, 28 января 2023
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Аксиомы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Дополнительные законы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Эквиваленции:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;