Zadanie z logiki Pomocy: Proszę o pomoc w zadaniu z logiki Zapisz w koniunkcyjnej postaci normalnej następującą formułę (p∨(~p∧q))→(~p→q)

iteRacj@: czy ja to dobrze robię? p∨(~p∧q)⇒(~p⇒q) (p∨~p)∧(p∨q)⇒(~(~p)∨q) 1∧(p∨q)⇒(p∨q) ~(p∨q)∨p∨q (~p∧~q)∨p∨q (~p∨~p∨q)∧(~q∨p∨q) (1∨q)∧(1∨p) i co dalej 1∧1 ? ? ?

Basia: dobrze robisz (w przedostatniej linijce błąd w zapisie, ale dalej jest dobrze) owszem 1∧1, albo nic dalej bo to co masz w ostatniej linijce, i to co masz w przedostatniej to już jest postać koniunkcyjna jeżeli nie jesteś pewien sprawdź metodą 0−1 czy wyjściowe zdanie jest tautologią