Therefore, the value of truth, we conclude that. ~ ~ Q-> {(p-> q) ^ p} has the value true is true in all cases.So ~ ~ q-> {(p-> q) ^ p} is the eternal mercy.
Thus, from the truth table We therefore conclude that ~ q -> ~ {(p -> q) ^ p} is true is true in all cases , so ~ q -> ~ {(p -> q) ^ p} is valid for eternity.