P ⇒ Q is logically equivalent to ¬P ∨ Q

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου