Закон де Моргана
Закон де Моргана — это два логических правила, которые описывают, как операция отрицания связывает логические операции «И» и «ИЛИ».
Законы де Моргана позволяют преобразовывать логические выражения и используются в алгебре логики, программировании и теории множеств.
- Отрицание конъюнкции: отрицание высказывания «А и В» равносильно высказыванию «не А или не В».
- Отрицание дизъюнкции: отрицание высказывания «А или В» равносильно высказыванию «не А и не В».