* Логический закон - это тождественно-истинный [[предикат]], определённый на множестве '''{0,1}'''.
== Ссылки ==
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]
'''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.
== Виды логических законов: ==
=== Основные законы: ===
[[файл:ЛЗ01.JPG]]
=== Аксиомы: ===
[[файл:ЛЗ02.JPG]]
=== Дополнительные законы: ===
[[файл:ЛЗ03.JPG]]
=== Эквиваленции: ===
[[файл:ЛЗ04.JPG]]
* Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''.
== Другие понятия: ==
* [[логическая функция]];
* [[предикат]];
* [[таблица истинности]];
* [[карта Карно]];
* [[трёхмерная карта Карно]].
== Ссылки ==
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]