diff --git a/.obsidian/community-plugins.json b/.obsidian/community-plugins.json index 7f3202f7..70974d34 100644 --- a/.obsidian/community-plugins.json +++ b/.obsidian/community-plugins.json @@ -39,5 +39,6 @@ "pane-relief", "obsidian-spaced-repetition", "obsidian-minimal-settings", - "github-sync" + "github-sync", + "obsidian-completr" ] \ No newline at end of file diff --git a/calcul booléen.md b/calcul booléen.md index 45d7301b..89b7c01d 100644 --- a/calcul booléen.md +++ b/calcul booléen.md @@ -38,5 +38,5 @@ tags: "#s/maths/logique" > > 2. soit $f : \{ 0, 1 \}^{n} \to \{ 0, 1 \}$ > > $A = \{ (a_1, \dots, a_{n}) | f(a_1, \dots, a_{n}) = 1 \}$ > > $f(x) = \underbrace{\bigvee_{a \in A} \delta _{a}(x)}_{\substack{\text{vaut 1 ssi}\\ \exists a \in A,\quad \delta _{a}(x) = 1\\ \text{c'est-à-dire }\\ \exists a \in A,\quad x = a}}$ -> > +> > - ! quand $f$ est la fonction nulle, $A$ est vide, et il faut donc que $\bigvee_{a \in\emptyset} a = 0$. C'est bien le cas car $\bigvee_{a \in X\cup Y }a = \bigvee_{a \in X}a \vee \bigvee_{a \in Y}a$ et de cette propriété on tire que $\bigvee_{}$