Logika przekształcenia 123: Z formuly logicznej ((p=>q)=>r) => ~((p=>q)∨ (p=>r)) po kilku przeksztalceniach uzyskalem podstac (~p ∨ q) ∧ ~r) ∨ ((p ∧ ~q) ∧ (p ∧ ~r)) Zależy mi aby przejść z tej postaci do postaci w ktorej będa wyłącznie ∧ lub ∨ miedzy nawiasami. Mógłby mi ktoś pokazać jak tego dokonać?

123: Dobra. Poradziłem sobie i doprowadzilem to do postaci (~r ∧ ~p) ∨ (~r ∧ q) ∨ (p ∧ ~q ∧ ~r) Teoretycznie jest to juz postać koniunktywna normalna ale mysle, ze da sie ja zapisac jeszcze bardziej uproszczona. Ktoś cos?