This (free) educational project has been created by Laurin Gschnitzer (15 years of age).

MathematicsLogic

De Morgan's Laws

¬(A ∧ B) = ¬A ∨ ¬B

Rules relating negation, conjunction and disjunction.

More detailed explanations, examples and illustrations for this entry are coming soon.