From e4f0ef18dc1eed3e8f45b4c139888c0b4fcfb2ce Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Tue, 27 Dec 2022 15:30:05 +0000 Subject: [PATCH] Autosave: 2022-12-27 15:30:05 --- Logic/Propositional_logic/Boolean_algebra.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Logic/Propositional_logic/Boolean_algebra.md b/Logic/Propositional_logic/Boolean_algebra.md index 74655a3..41e83db 100644 --- 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: