આમ, નિવેદન "જો પી અને જો ફક્ત ક્યૂ" "પી iff Q.