Логические законы

Закон тождества. Любое высказывание тождественно само себе. А А

Закон непротиворечия. Истинно либо высказывание, либо его отрицание, но не оба одновременно.

А & Ā = 0

Закон исключенного третьего. Высказывание может быть или истинным, или ложным, третьего не дано. А Ú Ā = 1

Закон двойного отрицания. Дважды примененная операция отрицания дает исходное высказывание. = А