From 3f1a747f2f46a2c38c135c1bf42251311d48bfed Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Tue, 27 Dec 2022 16:30:06 +0000 Subject: [PATCH] Autosave: 2022-12-27 16:30:06 --- Logic/Propositional_logic/Boolean_functions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Logic/Propositional_logic/Boolean_functions.md b/Logic/Propositional_logic/Boolean_functions.md index f30f124..b7ee6f1 100644 --- a/Logic/Propositional_logic/Boolean_functions.md +++ b/Logic/Propositional_logic/Boolean_functions.md @@ -15,7 +15,7 @@ $$ Here is a work through where $f(1, 0, 1)$: -- The first disjunction : $ \lnot(x) \land z $ is false because $x$ is 1 and $z$ is 0 +- The first disjunction : $\lnot(x) \land z$ is false because $x$ is 1 and $z$ is 0 - The second disjunction: $x \land y$ is false because $x$ is 1 and $y$ is 1 - The overall function returns false because the main connective is disjunction and both of its disjuncts are false