Wykorzystując podane tautologie sprowadź poniższe formuły do najprostszej postac szeren: 1. (p⋀q) ⋁∼(∼p⇒q) 2. (p⋁q) ⋁∼(∼p⇒q) 3. (p⇒((∼p⋁q)⇒p))∧q 4. p⋀q((p⋁q)⋀∼q)→q) 5. p⋁∼q⋁∼ p⋁(q⋀∼p)⋁(∼q⋀p)

ite: A jakie tautologie zostały podane?

szeren: sorki nie było tautologii, tylko: "podaj w najprostszej postaci" a ja z abardzo nie wiem o co cohdzi bo pewnie wykładowc auznał że powinienem wiedzieć to z lo

Saizou : zamieniasz implikacje na alternatywę oraz koniunkcję na alternatywę

534: I co potem? np. (pVq) V ∼(∼pVq)

Saizou : (p ∨ q) ∨ ~(~p→q) (p ∨ q) ∨ ~(~~p ∨ q) (p ∨ q) ∨ ~(p ∨ q) a to jest tautologia (prawo wyłączonego środka)

534: dzięki, ostatni przykład chciałbym czy dobrze rozumiem (p⋀q) ⋁∼(∼p⇒q) ∼(p v q) v ∼(∼∼p v q) ∼(p v q) v ∼(p v q) (p v q) v (p v q)

Saizou : p ∧ q jest równoważne zapisowi ~(~p ∨ ~q)

534: okej dzięki