Autosave: 2022-12-27 15:30:05

2022-12-27 15:30:05 +00:00 · 2022-12-27 15:30:05 +00:00 · e4f0ef18dc
commit e4f0ef18dc
parent bd5a3b6b59
1 changed files with 1 additions and 1 deletions
--- a/Logic/Propositional_logic/Boolean_algebra.md
+++ b/Logic/Propositional_logic/Boolean_algebra.md
@ -89,7 +89,7 @@ $$
 We can employ DeMorgan's Laws to convert the second conjunct to a different form:

 $$
-    \lnot (x \lor x) = \lnot x \land \lnot y
+    \lnot (x \lor y) = \lnot x \land \lnot y
 $$

 So now we have: