Суть закона де Моргана заключается в следующем:

• отрицание дизъюнкции является конъюнкцией отрицаний.
• из двух противоречащих высказываний об одном и том же одно всегда истинно, второе ложно, третьего не дано.
• не могут быть одновременно истинны утверждение и его отрицание.
• двойное отрицание исключает отрицание.