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

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

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