De Morgan’s Laws are a pair of laws that are heavily used in Computer Science, Propositional Calculus, Boolean logic, and Set Theory.

The laws were found (if you believe mathematics is “found” and not created) by Aristotle and many others however the laws were not formally defined until Augustus De Morgan defined them in terms of Boolean algebra.

In English the rules are:

the negation of a disjunction is the conjunction of the negations

the negation of a conjunction is the disjunction of the negations

Which may sound confusing, but if you have any experience with set theory or propositional logic then it is more easily understand.

Within propositional logic the first law is defined as:

In short, you multiply in the negation and change the “and” symbol to the “or” symbol. The second law is very similar and is:

De Morgan’s laws can be used for simplifying propositional logic. In propositional logic you may be asked to simplify a given statement and for this there are many laws you should know about to simplify propositional statements

This is just as simple!

Note to anyone reading this that isn’t from my university: This section is designed to help people (and myself) remember all the important things in propositional logic. Feel free to read this section too.

A tautology is something that is always true. So for example (P V ¬P) is always true. We can simplify this as a *T* or just a “1” to represent that it is always true.

A contradiction is something that is always false. So for example (P \land ¬P) is always false. This can be represented as an upside down T or a “0” or a “F”.

These 2 statements are always equal to each other:

Double negation can be canceled out. So for example

The same works for any even amount of negations. You could have

Some small helpful tips you might have forgotten

*Identity laws*
So these are called identity laws, but they’re not really anything special. Quite simple to understand actually.

Did you remember that T is a *tautology*? It’s always true. Boris uses this notation in his tutorials so be careful in exams.

*Domination Laws*

I know it sucks to read over this notation because you just want it explained in English (don’t we all) but it’s super super simple once you dip your toes into some notation!

*Distributive Law*

So this is simple distribution. Much like how in maths you get 3(1+2) which is just equal to (3*1) + (3*2). Same rules but with propositional logic.

*Absorption Laws*

*Commutativity*

*Associativity*

*Inverse laws*

Note: Boris / Frank have used these laws in class tests before.

*Conditional Law*