Логический закон — различия между версиями
Строка 14: | Строка 14: | ||
== Ссылки == | == Ссылки == | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 04:33, 10 апреля 2023
Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
Содержание
Виды логических законов:
Основные законы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Аксиомы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Дополнительные законы:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Эквиваленции:
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
- Логический закон является тождественно-истинным предикатом, определённым на множестве {0,1}.
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;