complete laws of propositional logic

world-class · sglavoie · Mar 11, 2023 · Oct 25, 2022 · Oct 25, 2022 · Oct 25, 2022
commit 9f81993296594a315bd66ff9d8810477ae08d19e
diff --git a/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/README.md b/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/README.md
@@ -7,8 +7,8 @@ and understood. Not everything that is tested at the mid-terms or final exams is
 covered and the Author does not guarantee that the cheatsheets are free of
 errors.
 
-* [Propositional Logic](./cheatsheet_propositional_logic.pdf)
-* [First-order Logic](./cheatsheet_first-order_logic.pdf)
+* [Propositional & First-order Logic](./cheatsheet_propositional_logic.pdf)
+* [Laws of Propositional Logic](./cheatsheet_laws_of_propositional_logic.pdf)
 * [Proofs](./cheatsheet_proofs.pdf)
 
 # Building

diff --git a/...s-of-computer-science/student-notes/fabio-lama/cheatsheet_laws_of_propositional_logic.pdf b/...s-of-computer-science/student-notes/fabio-lama/cheatsheet_laws_of_propositional_logic.pdf
diff --git a/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/cheatsheet_proofs.pdf b/level-4/fundamentals-of-computer-science/student-notes/fabio-lama/cheatsheet_proofs.pdf
diff --git a/...damentals-of-computer-science/student-notes/fabio-lama/cheatsheet_propositional_logic.pdf b/...damentals-of-computer-science/student-notes/fabio-lama/cheatsheet_propositional_logic.pdf
diff --git a/...-of-computer-science/student-notes/fabio-lama/src/combinatorial_principles.adoc b/...-of-computer-science/student-notes/fabio-lama/src/combinatorial_principles.adoc
diff --git a/...-computer-science/student-notes/fabio-lama/src/laws_of_propositional_logic.adoc b/...-computer-science/student-notes/fabio-lama/src/laws_of_propositional_logic.adoc
@@ -5,6 +5,8 @@ Fabio Lama <[email protected]>
 :sectnums: 4
 :stem:
 
+== Logic 1
+
 |===
 ||**Disjunction**|**Conjunction**
 |idempotent laws|stem:[p vv p -= p]|stem:[p ^^ p -= p]
@@ -13,4 +15,14 @@ Fabio Lama <[email protected]>
 |distributive laws|stem:[p vv (q ^^ r) -= (p vv q) ^^ (p vv r)]|stem:[p ^^ (q vv r) -= (p ^^ q) vv (p ^^ r)]
 |identity laws|stem:[p vv F -= p]|stem:[p ^^ T -= p]
 |domination laws|stem:[p vv T -= T]|stem:[p ^^ F -= F]
+|===
+
+== Logic 2
+
+|===
+||**Disjunction**|**Conjunction**
+|De Morgan's laws|stem:[not (p vv q) -= not p ^^ not q]|stem:[not (p ^^ q) -= not p vv not q]
+|absorption laws|stem:[p vv (p ^^ q) -= p]|stem:[p ^^ (p vv q) -= p]
+|negation laws|stem:[p vv not p -= T]|stem:[p ^^ not p -= F]
+|double negation law|stem:[not not p -= p]|
 |===
diff --git a/...ntals-of-computer-science/student-notes/fabio-lama/src/propositional_logic.adoc b/...ntals-of-computer-science/student-notes/fabio-lama/src/propositional_logic.adoc
@@ -1,4 +1,4 @@
-= Cheatsheet - Propositional Logic
+= Cheatsheet - Propositional & First-order Logic
 Fabio Lama <[email protected]>
 :description: Module: CM1025 Fundamentals to Computer Science, started 25. October 2022
 :doctype: article