thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Autosave: 2022-12-27 16:30:06

Browse source
This commit is contained in:
thomasabishop 2022-12-27 16:30:06 +00:00
parent e4f0ef18dc
commit 3f1a747f2f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Logic/Propositional_logic/Boolean_functions.md
View file

@ -15,7 +15,7 @@ $$
Here is a work through where $f(1, 0, 1)$: 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 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 - The overall function returns false because the main connective is disjunction and both of its disjuncts are false