বিপরীত শর্তাধীনের জন্য সত্যক সারণি সম্পূর্ণ করুন: ¬B → ¬A

এটি A → B এর সাথে তুলনা করুন যাচাই করার জন্য যে তারা সমতুল্য। সত্যক সারণির প্রতিটি সারির জন্য ⊤ (সত্য) অথবা ⊥ (মিথ্যা) নির্বাচন করুন।