| МОУ Лицей №4. г. Люберцы 2010 г |
| Байрамов Ренат. 9 «Б» |
| Экзамен по «Информатике и ИКТ». |
Алгебра Логики
3. Основные аксиомы и теоремы алгебры логики
Для преобразования формул в равносильные важную роль играют следующие равенства, отражающие свойства логических операций, которые по аналогии с алгеброй вещественных чисел будем называть законами:
| Коммутативность |
Идемпотентность |
| Ассоциативность |
Двойное отрицание |
| Поглощение (нуля и единицы) |
Правило де Моргана |
| Дистрибутивность |
Поглощение |
| Противоречие |
Законы склеивания |
| Исключение третьего |
Закон Блейка-Порецкого |
| Закон свертки |
|
