👤

[(q<=>q)^(p <=>p')]v p​