Логические законы
Закон тождества. Любое высказывание тождественно само себе. А А
Закон непротиворечия. Истинно либо высказывание, либо его отрицание, но не оба одновременно.
А & Ā = 0
Закон исключенного третьего. Высказывание может быть или истинным, или ложным, третьего не дано. А Ú Ā = 1
Закон двойного отрицания. Дважды примененная операция отрицания дает исходное высказывание. = А