Что такое формулы де Моргана: определение термина
Формулы де Моргана говорят: если отрицать выражение с «и», получится «или» с отрицаниями, и наоборот. В логике это записывают так: не (A и B) равно (не A) или (не B), а не (A или B) равно (не A) и (не B).
Смысл в том, что отрицание «переворачивает» связку и распределяется на каждую часть выражения. Эти правила позволяют корректно преобразовывать сложные высказывания и не допускать ошибок в рассуждениях.
Как применять формулы де Моргана
Если сказано: «неверно, что одновременно выполнены A и B», это означает, что хотя бы одно из них не выполняется: «не A или не B». А фраза «неверно, что выполняется A или B» означает, что не выполняется ни A, ни B, то есть «не A и не B».
В теории множеств формулы выглядят похоже: дополнение пересечения равно объединению дополнений, а дополнение объединения равно пересечению дополнений. Эти преобразования часто используют при упрощении логических условий, в задачах на множества и при работе с логическими выражениями в информатике.
