04 Logique

vrai faux B={vrai, faux}
∧ ∨ ⇒ . . .
A¬(A)
A B ⊕A⊕B
F n v0, . . . , vn−1
µ F µ = (b0, . . . , bn−1)∈ Bn
µ= (b0, . . . , bn−1)F µ
vibi
f(µ)
F n BnB
vrai
faux
F µ F (µ) = vrai
F n F (µ)µ∈ Bn
µ
F F (µ)
Bn

A¬(¬(A)) ≡A
A B
¬(A∧B) = ¬(A)∨ ¬(B)
¬(A¬B) = ¬(A)∧ ¬(B)
A
A∨ ¬(A)≡vrai
A∧ ¬(A)≡faux
∧ ∨
∨ ∧
+A A
2 + 3 5