گزارهٔ شرطی $p\Rightarrow q$ با عکس نقیض گزاره یعنی $\sim q\Rightarrow \sim p$ هم‌ارز است. پس هم‌ارز گزارهٔ داده شده به صورت زیر است:  $\equiv \sim (\sim q\vee r)\Rightarrow \sim p$ كه طبق خاصيت قانون دمورگان می‌توان به صورت زير نوشت: $\equiv (q\wedge \sim r)\Rightarrow \sim p$