La calcolatrice cercherà di semplificare/minimizzare l'espressione booleana data, con passi quando possibile. Applica la legge commutativa, la legge distributiva, la legge dominante (nulla, annullamento), la legge dell'identità, la legge della negazione, la legge della doppia negazione (involuzione), la legge dell'idempotenza, la legge del complemento, la legge dell'assorbimento, la legge della ridondanza, il teorema di Morgan. Supporta tutti gli operatori logici di base: negazione (complemento), e (congiunzione), o (disgiunzione), nand (tratto di Sheffer), nor (freccia di Peirce), xor (disgiunzione esclusiva), implicazione, il contrario di implicazione, non implicazione (abiunzione), non implicazione inversa, xnor (nor esclusivo, equivalenza, bicondizionale), tautologia (T) e contraddizione (F).
Troverà anche la forma normale disgiuntiva (DNF), la forma normale congiuntiva (CNF) e la forma normale di negazione (NNF).
Calcolatrice correlata:
Calcolatrice della tabella di verità
Soluzione
Applicare il teorema di de Morgan X⋅Y=X+Y con X=A+B e Y=B+C:
((A+B)⋅(B+C))=(A+B+B+C)Applicare il teorema di de Morgan X+Y=X⋅Y con X=A e Y=B:
(A+B)+B+C=(A⋅B)+B+CApplicare la legge della doppia negazione (involuzione) X=X con X=A:
((A)⋅B)+B+C=((A)⋅B)+B+CApplicare il teorema di de Morgan X+Y=X⋅Y con X=B e Y=C:
(A⋅B)+(B+C)=(A⋅B)+(B⋅C)Applicare la legge della doppia negazione (involuzione) X=X con X=B:
(A⋅B)+((B)⋅C)=(A⋅B)+((B)⋅C)
Risposta
(A+B)⋅(B+C)=(A⋅B)+(B⋅C)