Законы де Моргана

Определение. Для множеств: ‾(A∪B)=Ā∩B̄, ‾(A∩B)=Ā∪B̄. Для логики: ¬(P∨Q)≡¬P∧¬Q, ¬(P∧Q)≡¬P∨¬Q. Связывают отрицание с переключением «и»↔«или». Повторяются в теории множеств, логике, SQL, инженерных проверках условий.

В каких главах встречается

• Множества, логика и язык математики: от интуиции к доказательству

Связанные концепты

Требуются перед изучением:

• Операции над множествами