Логические законы и правила преобразования логических выражений A A=0 Соловьева О. А. (A+B)= A B A+ A=1
Закон тождества Всякое высказывание тождественно самому себе Соловьева О. А.
Закон противоречия Высказывание не может быть одновременно истинным и ложным Соловьева О. А.
Закон исключающего третьего Высказывание может быть либо истинным, либо ложным, третьего не дано Соловьева О. А.
Закон двойного отрицания Инволюция - при двойном отрицании некоторого высказывания, получим исходное высказывание Соловьева О. А.
Законы Моргана Соловьева О. А. Закон общей инверсии
Законы коммутативности Соловьева О. А. В алгебре высказываний можно менять местами логические переменные при операциях логического умножения и логического сложения
Законы ассоциативности Соловьева О. А.
Законы дистрибутивности Соловьева О. А.
Законы идемпотентности Соловьева О. А. Идемпотентность ( от латинских слов idem тот же самый и potens сильный; дословно равносильный)
Законы исключения констант Соловьева О. А.
Законы поглощения Соловьева О. А.
Преобразование импликации Соловьева О. А.