Adding "DeMorgans Law" (#20818)

* Adding "DeMorgans Law"

I specified that the above statements were in fact demorgans laws.

* spelling
This commit is contained in:
Mallory Butt
2018-11-03 14:52:41 -05:00
committed by Christopher McCormack
parent 3f6a61fbca
commit 78b8928b2c

View File

@ -19,6 +19,9 @@ The three basic operations in Boolean Algebra are `AND`, `OR`, and `NOT`. Consid
- `NOT (x AND y) = NOT x OR NOT y`
- `NOT (x OR y) = NOT x AND NOT y`
The above statements are called "De Morgan's Laws." This is a very useful and important law in Boolean Algebra.
### More Information:
- The Calculus of Logic: <a href='http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html' target='_blank' rel='nofollow'>George Boole</a>
- Boolean algebra article: <a href='https://en.wikipedia.org/wiki/Boolean_algebra' target='_blank' rel='nofollow'>Wikipedia</a>