The two De Morgan equivalences connect negation with conjunction and disjunction. Negating a conjunction distributes as a disjunction of negations, and vice versa. Essential for normal-form transformations.
The two De Morgan equivalences connect negation with conjunction and disjunction. Negating a conjunction distributes as a disjunction of negations, and vice versa. Essential for normal-form transformations.