From 4b74706c02352dde8ad268574ea9ba69a4426ca8 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 9 Sep 2025 14:51:04 +0200
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-9:14:51:4

---
 M1 LOGOS . logique . calculer.md |  2 +-
 calcul booléen.md                | 17 +++++++++++++++++
 2 files changed, 18 insertions(+), 1 deletion(-)

diff --git a/M1 LOGOS . logique . calculer.md b/M1 LOGOS . logique . calculer.md
index f534e5c5..1550a4a1 100644
--- a/M1 LOGOS . logique . calculer.md	
+++ b/M1 LOGOS . logique . calculer.md	
@@ -7,4 +7,4 @@ tags:
 ---
 # 1. Le calcul booléen
 author:: [[George Boole]]
-[[calcul booléen]]
\ No newline at end of file
+[[calcul booléen]]
diff --git a/calcul booléen.md b/calcul booléen.md
index 9a8a59b6..45d7301b 100644
--- a/calcul booléen.md	
+++ b/calcul booléen.md	
@@ -23,3 +23,20 @@ tags: "#s/maths/logique"
 >  - implication $\implies$ avec $A \implies B = \neg A \vee B$
 >  - équivalence $\iff$ avec $A \iff B = (A \implies B) \wedge (B \implies A)$
 >  - ou exclusif $|$ ou $\oplus$ avec $A \oplus B = \begin{cases} 1 \text{ si } A \neq B\\ 0 \text{ sinon} \end{cases}$
+
+# Propriétés
+
+
+> [!proposition]+ Théorème
+> Toute fonction logique $\{ 0, 1 \}^{n} \to \{ 0, 1 \}$ peut s'exprimer à l'aide de $\wedge$, $\vee$ et $\neg$ uniquement, et même, au choix, de $\wedge$ et $\neg$, ou bien de $\vee$ et $\neg$ (mais pas $\vee$ ou $\wedge$).
+> On montre aussi que le ou exclusif suffit.
+> 
+> > [!démonstration]- Démonstration
+> > 1. Soit $a = (a_1, \dots, a_{n}) \in \{ 0, 1 \}^{n}$ on va construire une fonction $\delta _{a}$ à l'aide de $\wedge$ et $\neg$ telle que $\delta _{a}(x) = \begin{cases} 1 \text{ si } x = a\\0 \text{ sinon} \end{cases}$
+> >    on note $x_1^{a_1} = \begin{cases} x_1 \text{ si } a_{1} = 1\\ \neg x_1 \text{ si } a_1 = 0 \end{cases}$
+> >    On a alors $\delta_{a}(x) = 1$ si et seulement si $\forall i,\quad x_{i}^{a_{i}} = 1$ c'est-à-dire ssi $\forall i,\quad x_{i} = a_{i}$
+> > 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}}$
+> >    
+