Algèbre de Boole

ThéorèmeForme ANDForme OR

Involution:

¬¬p = p

Idempotence:

p . p = p

p + p = p

Identité:

p . 1 = p

p + 1 = 1
p . 0 = 0p + 0 = p

Complémentarité:

p . p= 0

p + p= 1

Commutativité:

p . q = q . p

p + q = q + p

Associativité:

(p . q) . r = p . (q . r)

(p + q) + r = p + (q + r)

Distributivité:

p + q . r = (p + q) . (p + r)

p . (q + r) = p . q + p . r

Lois de de Morgan:

p + q = p . q

p . q = p + q

Implication:

p ==> q = p + q

Contraposition:

p ==> q = q ==>p

Absorption:

p . (p + q) = p

p + (p . q) = p
p . (p + q) = p . qp + (p . q) = p + q

Rappels:

Définition du OU exclusif : p XOR q = p . q + p . q

Définition de l'équivalence : p°q = p . q + p . q

Réseaux sociaux

Vous pouvez modifier vos préférences dans votre profil pour ne plus afficher les interactions avec les réseaux sociaux sur ces pages.

 

Nuage de mots clés

22 mots clés dont 17 définis manuellement (plus d'information...).

Vous pouvez modifier vos préférences dans votre profil pour ne plus afficher le nuage de mots clés.

 

Astuce pour imprimer les couleurs des cellules de tableaux : http://www.gaudry.be/ast-rf-450.html
Aucun commentaire pour cette page

© Ce document issu de l′infobrol est enregistré sous le certificat Cyber PrInterDeposit Digital Numbertection. Enregistrement IDDN n° 5329-130
Document créé le 19/03/02 04:01, dernière modification le Mercredi 28 Juin 2017, 15:26
Source du document imprimé : http:///www.gaudry.be/logique-boole.html
St.Gaudry©07.01.02
Outils (masquer)
||
Recherche (afficher)
Recherche :

Utilisateur (masquer)
Apparence (afficher)
Stats (afficher)
15838 documents
455 astuces.
550 niouzes.
3107 definitions.
447 membres.
8121 messages.

Document genere en :
0,15 seconde

Mises à jour :
Mises à jour du site
Citation (masquer)
Si on ne construit rien sur des regrets, par contre on bâtit sur des résolutions.

Anne Bernard [Extrait de "L'amour sans passeport"]
 
l'infobrol
Nous sommes le Mercredi 28 Juin 2017, 19:20, toutes les heures sont au format GMT+1.00 Heure, heure d'été (+1)