(p<=>q)^(p^q¹) en sade hali​