Référence de l'espace de nommage DSPython.bool

Booléens : les 16 connecteurs binaires. Plus de détails...

Fonctions
def	bin_a
	Renvoie a (premier élément)
def	bin_and
	Renvoie a ∧ b (conjonction)
def	bin_b
	Renvoie b (second élément)
def	bin_eq
	Renvoie a ↔ b (double implication, égalité booléenne)
def	bin_false
	Renvoie False.
def	bin_imp
	Renvoie a → b (implication)
def	bin_na
	Renvoie not a (négation du premier élément)
def	bin_nand
	Renvoie a | b (incompatibilité, barre de Sheffer, négation du et)
def	bin_nb
	Renvoie not b (négation du second élément)
def	bin_nimp
	Renvoie not(a → b) (négation de l'implication)
def	bin_nor
	Renvoie a ↓ b (négation conjointe, barre de Sheffer duale, négation du ou)
def	bin_nrec
	Renvoie not(a ← b) (négation de l'implication réciproque)
def	bin_or
	Renvoie a ∨ b (disjonction inclusive)
def	bin_rec
	Renvoie a ← b (implication réciproque)
def	bin_true
	Renvoie True.
def	bin_xor
	Renvoie a ⊕ b (disjonction exclusive)
def	ter_if
	Renvoie a si t, b sinon (si alors sinon)

Variables
string	VERSION = 'bool --- 2010 April 12'
	Date du dernier changement pour ce module.

---

Description détaillée

Booléens : les 16 connecteurs binaires.

Cf. http://www.opimedia.be/logiques/

“connecteur négatif”			/1	/|	/→		/←		/↔	/↓		/∨	/⊕	/b		/a		/∧	/0
a	b		0	∧		a		b	⊕	∨		↓	↔		←		→	|	1
0	0		0	0	0	0	0	0	0	0		1	1	1	1	1	1	1	1
0	1		0	0	0	0	1	1	1	1		0	0	0	0	1	1	1	1
1	0		0	0	1	1	0	0	1	1		0	0	1	1	0	0	1	1
1	1		0	1	0	1	0	1	0	1		0	1	0	1	0	1	0	1

---

Documentation des fonctions

def DSPython.bool.bin_a	(		a,
			b
	)

Renvoie a (premier élément)

Renvoie a
(connecteur binaire : premier élément)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 83 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_and	(		a,
			b
	)

Renvoie a ∧ b (conjonction)

Renvoie a et b
(connecteur binaire : conjonction)
!!! Contrairement à l'opérateur Python and, les deux arguments sont toujours évalués

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 97 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_b	(		a,
			b
	)

Renvoie b (second élément)

Renvoie b
(connecteur binaire : second élement)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 112 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_eq	(		a,
			b
	)

Renvoie a ↔ b (double implication, égalité booléenne)

Renvoie a équivalent à b
(connecteur binaire : double implication, égalité booléenne)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 126 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_false	(		a,
			b
	)

Renvoie False.

Renvoie False
(connecteur binaire : constante faux)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: False

O() = 1

Définition à la ligne 140 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_imp	(		a,
			b
	)

Renvoie a → b (implication)

Renvoie a implique b
(connecteur binaire : implication)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 154 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_na	(		a,
			b
	)

Renvoie not a (négation du premier élément)

Renvoie not a
(connecteur binaire : négation du premier élément)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 168 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_nand	(		a,
			b
	)

Renvoie a | b (incompatibilité, barre de Sheffer, négation du et)

Renvoie a est incompatible avec b
(connecteur binaire : incompatibilité, barre de Sheffer, négation du et)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 182 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_nb	(		a,
			b
	)

Renvoie not b (négation du second élément)

Renvoie not b
(connecteur binaire : négation du second élément)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 196 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_nimp	(		a,
			b
	)

Renvoie not(a → b) (négation de l'implication)

Renvoie not(a implique b)
(connecteur binaire : négation de l'implication)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 210 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_nor	(		a,
			b
	)

Renvoie a ↓ b (négation conjointe, barre de Sheffer duale, négation du ou)

Renvoie a négation conjointe b
(connecteur binaire : négation conjointe, barre de Sheffer duale, négation du ou)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 225 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_nrec	(		a,
			b
	)

Renvoie not(a ← b) (négation de l'implication réciproque)

Renvoie not(b implique a)
(connecteur binaire : négation de l'implication réciproque)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 239 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_or	(		a,
			b
	)

Renvoie a ∨ b (disjonction inclusive)

Renvoie a ou b
(connecteur binaire : disjonction inclusive)
!!! Contrairement à l'opérateur Python or, les deux arguments sont toujours évalués

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 253 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_rec	(		a,
			b
	)

Renvoie a ← b (implication réciproque)

Renvoie b implique a
(connecteur binaire : implication réciproque)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 268 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_true	(		a,
			b
	)

Renvoie True.

Renvoie True
(connecteur binaire : constante vraie)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: True

O() = 1

Définition à la ligne 282 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.bin_xor	(		a,
			b
	)

Renvoie a ⊕ b (disjonction exclusive)

Renvoie a xou b
(connecteur binaire : disjonction exclusive)

Pre: a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 296 du fichier bool.py.

Référencé par DSPython.bool.ter_if().

def DSPython.bool.ter_if	(		t,
			a,
			b
	)

Renvoie a si t, b sinon (si alors sinon)

Renvoie a si t, b sinon
(connecteur ternaire : si alors sinon)

Pre: t: valeur booléenne
     a: valeur booléenne
     b: valeur booléenne

Result: bool

O() = 1

Définition à la ligne 312 du fichier bool.py.

Références DSPython.bool.bin_a(), DSPython.bool.bin_and(), DSPython.bool.bin_b(), DSPython.bool.bin_eq(), DSPython.bool.bin_false(), DSPython.bool.bin_imp(), DSPython.bool.bin_na(), DSPython.bool.bin_nand(), DSPython.bool.bin_nb(), DSPython.bool.bin_nimp(), DSPython.bool.bin_nor(), DSPython.bool.bin_nrec(), DSPython.bool.bin_or(), DSPython.bool.bin_rec(), DSPython.bool.bin_true(), DSPython.bool.bin_xor(), et DSPython.tnp1.main_test().