Philosophy Formal Logic Questions
De Morgan's theorem states that the negation of a conjunction (AND) or a disjunction (OR) is equivalent to the disjunction or conjunction, respectively, of the negations of the individual statements. In other words, it states that the negation of "A and B" is equivalent to "not A or not B," and the negation of "A or B" is equivalent to "not A and not B."