Некоторые законы алгебры логики, которые используются в информатике:

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