👤

(p v ~q)←→(~ p → q )​