Sprawdzić czy równość jest prawdziwa

[malyxxl]

Witam mam do rozwiązania takie zadanie. Normalnie zrobilbym to metodą zero-jednakową dla wszystkich możliwości ale to jest aż 5 wyrażeń a więc na start 32 możliwości. Da się to ugryźć łatwiej?
\(\displaystyle{ (ab+c+d)(\neg c+d)(\neg c+d+e)=ab\neg c+d}\)

[M Maciejewski]

O rany, nie znam tego zapisu, ale domyślam się, że chodzi o to:
\(\displaystyle{ +}\) to alternatywa
\(\displaystyle{ \cdot}\) to koniunkcja.
Wtedy:
Ponieważ drugi nawias jest bardziej restryktywny od trzeciego, to
\(\displaystyle{ L=(ab+c+d)(\neg c+d)=ab\neg c+abd+cd+d\neg c+d}\).
Dalej mamy:
\(\displaystyle{ L=ab\neg c+(ab+c+\neg c+1)d=ab\neg c+d}\).
Czy o to chodzi?

[malyxxl]

Dzieki. Mógłbyś tylko jeszcze wyjaśnić skąd wiesz ze \(\displaystyle{ ab+c+\neg c + 1=1}\)?

[Jan Kraszewski]

Bo \(\displaystyle{ \mbox{cokolwiek} +1=1}\).

JK