De Morgan’s Laws are a pair of fundamental transformation rules in formal logic, set theory, and Boolean algebra that show how to distribute a negation over a group of connected statements. Named after mathematician Augustus De Morgan, these rules dictate that negating a logical conjunction (an AND statement) turns it into a disjunction (an OR statement) of negations, and vice versa.
A popular and easy trick to remember De Morgan’s transformation is: “Break the line, change the sign.” You break the negation bar over the group of terms and switch an AND to an OR, or an OR to an AND. The Two Core Rules
Depending on the field of study, the rules are represented using different mathematical symbols, but the underlying logic remains identical. Propositional Logic Proofs: De Morgan’s Laws (DeM)
Leave a Reply