Logika - doprowadzanie formuły do najprostszej postaci r: Witam, chciałbym zapytac jak mam doprowadzić przykładową formułę do najprostszej postaci? Których praw użyć? Czy mógłbym prosić o krótki opis co należy robić? ~(p/\q −>q) \/ ~[~p −> (p/\q)].