Изменения

'''Логический закон''' — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.

== Виды логических законов: ==

=== Основные законы: ===

[[файл:ЛЗ01.JPG]]

=== Аксиомы: ===

[[файл:ЛЗ02.JPG]]

=== Дополнительные законы: ===

[[файл:ЛЗ03.JPG]]

=== Эквиваленции: ===

[[файл:ЛЗ04.JPG]]

* Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''.

== Другие понятия: ==

* [[логическая функция]];

* [[карта Карно]];

* [[трёхмерная карта Карно]].

== Ссылки ==

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]