Некоторые основные законы алгебры логики, которые нужно знать:

• Закон двойного отрицания. 1 Если отрицать отрицание, то получится истина. 1
• Закон исключённого третьего. 13 Из двух противоречащих высказываний одно является истинным. 2
• Закон повторения. 1 Так как в логике существует только два значения (0 и 1), то 0 * 0 и 1 * 1 правильно будет просто сократить. 1
• Закон поглощения. 1 Доказывается с помощью таблицы истинности, по которой будет видно, что переменная поглощает оставшееся выражение, если всё выражение имеет определённый вид. 1
• Переместительный (коммутативный) закон. 13 От перестановки слагаемых или множителей сумма, как и произведение, не меняется. 1
• Сочетательный (ассоциативный) закон. 13 Применяется, когда есть или только операция дизъюнкции, или только операция конъюнкции. 1 Тогда можно обходиться без скобок или хаотично ставить скобки. 1
• Распределительный (дистрибутивный) закон. 13 Работает так же, как и обыкновенное раскрытие скобок в школьной математике. 1
• Закон двойственности и инверсии (закон Моргана). 1 Правило, которое связывает конъюнкцию и дизъюнкцию с помощью отрицания. 1