(p⇒q)^q' en sade hali