Abstract:This paper has comprehensively and systematic ally summed up the provable methods of equivalence of logical identities on the basis of expounding various provable methods and illustrating, the provable steps of logical identities by means of various exa