Simplifying expressions booléennes

Question

J'ai construit des tables de vérité pour prouver que:
ABC + ABC'+ AB'C A'BC = AB+AC+BC,
mais comment puis-je le prouverai en simplifiant l'expression? Je suis relativement nouveau dans l'algèbre booléenne et j'ai essayé d'utiliser les identités de base pour le comprendre, mais je n'arrive pas à y parvenir.

Answer 1

Vous pouvez écrire:

ABC + ABC' 

comme

AB(C + C') 

Puisque C + C » est toujours vrai, c'est juste AB. Le même modèle est valable pour AC(B + B') et BC(A + A') étant respectivement équivalent à AC et BC.