Rachunek zdań jack: Witam, jest takie zdanie: ((p∧q)⋀(r∨p))⇒(∼(p∧s)⇒(q∨r)) Należy je doprowadzić do najprostszej postaci. Skorzystałem ze prawa rozdzielności alternatywy względem koniunkcji: (p∨(q∧r))⇒(∼(p∧s)⇒(q∨r)) I się zaciąłem, co teraz powinienem zrobić? Dzięki za pomoc.

jack: pomyłka: nie zauwazylem ze tam jest alternatywa i koniunkcja