Uprościć wyrażenie kubek: Uprościć: ¬(¬(¬p∨¬(¬q))∧¬(¬p)) Po moim uproszczeniu wyszło: (¬p∨q)∨¬p jednak prawidłowa odpowiedź to: ¬p∨q Może mi ktoś wytłumaczyć dlaczego? Da się jeszcze bardziej uprościć wyrażenie, które otrzymałem?

PW: Tak, Twój wynik i "prawidłowa odpowiedź" mają tę sama wartość logiczną (¬p∨q)∨¬p (przemienność alternatywy) ¬p∨(¬p∨q) (łączność alternatywy) (¬p∨¬p)∨q) ¬p∨q