Boole
Algèbre de Boole
L'algèbre de Boole pourrrait être exposé formellement par un théorème tel que l'est cet tentative.
Axiomatique
- not : non vrai => faux
- not : non faux => vrai
- not : non (vrai ou faux) => faux et vrai => faux
- not : non (faux et vrai) => vrai ou faux => vrai
- and : vrai et faux => faux
- and : vrai et vrai => vrai
- and : faux et faux => faux
- and : faux et vrai => faux
- or : vrai ou faux => vrai
- or : vrai ou vrai => vrai
- or : faux ou faux => faux
- or : faux ou vrai => vrai
- xor : vrai ou_exclusif faux => faux
- xor : vrai ou_exclusif vrai => vrai
- xor : faux ou_exclusif faux => faux
- xor : faux ou_exclusif vrai => faux
Il pourrait ici s'agir d'avantage d'une table de véritée, bien qu'elle en énoncerait quatre.