English: So, De Morgan’s law for example, you must have studied, so there are many tautological equivalences and you can convert each of them in to rule of substitution you can also see a rule of substitution as a bidirectional rule of inference.
Telugu: కాబట్టి, ఉదాహరణకు, డి మోర్గాన్ యొక్క చట్టం(De Morgan’s law) మీరు తప్పక అధ్యయనం చేసి ఉండాలి, చాలా టాటోలాజికల్ సమానతలు ఉన్నాయి మరియు మీరు వాటిలో ప్రతిదాన్ని ప్రత్యామ్నాయ నియమంగా మార్చవచ్చు మీరు ప్రత్యామ్నాయ నియమాన్ని ఇన్ఫెరెన్స్ యొక్క ద్వైపాక్షిక నియమంగా(bidirectional rule of inference) కూడా చూడవచ్చు.