So, in the implication table, in that square we note down m and n indicating that they are going to two different states m n, but we still do not know whether m and n are equivalent or not.
तो, निहितार्थ तालिका में, उस वर्ग में हम नीचे m और n को दर्शाते हैं कि वे दो अलग-अलग अवस्थाओं m , n में जा रहे हैं, लेकिन हम अभी भी नहीं जानते हैं कि m और n समतुल्य हैं या नहीं।