Kalkulator spróbuje uprościć/zminimalizować podane wyrażenie logiczne, z krokami, jeśli to możliwe. Stosuje prawo przemienności, prawo rozdzielności, prawo dominacji (zera, unieważnienia), prawo tożsamości, prawo negacji, prawo podwójnej negacji (inwolucji), prawo idempotentne, prawo dopełnienia, prawo absorpcji, prawo redundancji, twierdzenie de Morgana. Obsługuje wszystkie podstawowe operatory logiczne: negację (dopełnienie), and (koniunkcję), or (dysjunkcję), nand (skok Sheffera), nor (strzałkę Peirce'a), xor (wyłączną dysjunkcję), implikację, odwrotność implikacji, nieimplicję (abjunction), odwrotną nieimplicję, xnor (wyłączne nor, równoważność, dwuwarunkowość), tautologię (T) i sprzeczność (F).
Znajduje również dysjunkcyjną postać normalną (DNF), koniunkcyjną postać normalną (CNF) i negacyjną postać normalną (NNF).
Powiązany kalkulator:
Kalkulator tablicy prawdy
Rozwiązanie
Zastosuj twierdzenie de Morgana X⋅Y=X+Y z X=A+B i Y=B+C:
((A+B)⋅(B+C))=(A+B+B+C)Zastosuj twierdzenie de Morgana X+Y=X⋅Y z X=A i Y=B:
(A+B)+B+C=(A⋅B)+B+CZastosuj prawo podwójnej negacji (inwolucji) X=X z X=A:
((A)⋅B)+B+C=((A)⋅B)+B+CZastosuj twierdzenie de Morgana X+Y=X⋅Y z X=B i Y=C:
(A⋅B)+(B+C)=(A⋅B)+(B⋅C)Zastosuj prawo podwójnej negacji (inwolucji) X=X z X=B:
(A⋅B)+((B)⋅C)=(A⋅B)+((B)⋅C)
Odpowiedź
(A+B)⋅(B+C)=(A⋅B)+(B⋅C)