👤

( p → q ) v ( -p ←→ r) ​