Matematyka dyskretna Adrian: ((p⇒q)⇒r)⇒¬((p⇒q)v(p⇒r)) muszę zamienić to na postać DNF lub CNF a najlepiej na obie ale o ile prawą stroną mogę z łatwością zamienić zostaje mi (¬p∧¬r)v(q∧¬r)v¬((¬pvq)v(¬pvr)) to "¬((¬pvq)v(¬pvr)) " tego nie potrafię rozłożyć gdyby w środku była implikacja to nie było problemu a tak zapętlam się.