La calculatrice essaiera de simplifier/minifier l'expression booléenne donnée, avec des étapes lorsque c'est possible. Applique la loi commutative, la loi distributive, la loi de dominance (nullité, annulation), la loi d'identité, la loi de négation, la loi de double négation (involution), la loi d'idempotence, la loi de complément, la loi d'absorption, la loi de redondance, le théorème de Morgan. Supporte tous les opérateurs logiques de base : négation (complément), et (conjonction), ou (disjonction), nand (trait de Sheffer), nor (flèche de Peirce), xor (disjonction exclusive), implication, inverse de l'implication, non-implication (abjonction), inverse de la non-implication, xnor (nor exclusif, équivalence, biconditionnel), tautologie (T), et contradiction (F).
Il trouvera également la forme normale disjonctive (DNF), la forme normale conjonctive (CNF) et la forme normale de négation (NNF).
Calculatrice associée:
Calculatrice de table de vérité
Solution
Appliquer le théorème de Morgan X⋅Y=X+Y avec X=A+B et Y=B+C:
((A+B)⋅(B+C))=(A+B+B+C)Appliquer le théorème de Morgan X+Y=X⋅Y avec X=A et Y=B:
(A+B)+B+C=(A⋅B)+B+CAppliquer la loi de double négation (involution) X=X avec X=A:
((A)⋅B)+B+C=((A)⋅B)+B+CAppliquer le théorème de Morgan X+Y=X⋅Y avec X=B et Y=C:
(A⋅B)+(B+C)=(A⋅B)+(B⋅C)Appliquer la loi de double négation (involution) X=X avec X=B:
(A⋅B)+((B)⋅C)=(A⋅B)+((B)⋅C)
Réponse
(A+B)⋅(B+C)=(A⋅B)+(B⋅C)