Added post:Logic-laws of equivalance