English: So, what you have in your to construct a logic machine is a set of rules of inference a set of rules of substitution and you have to ask is now to pick one of this rules and keep producing new formulas till the formula you were that looking for is generated.
Telugu: కాబట్టి, మీ వద్ద ఒక లాజిక్ మెషీన్ను(logic machine) నిర్మించటం అనేది ప్రత్యామ్నాయ నియమాల సమితి ఇన్ఫెరెన్స్ నియమాల సమితి మరియు మీరు అడగాలి ఇప్పుడు ఈ నియమాలలో ఒకదాన్ని ఎంచుకుని, మీరు చూసే ఫార్ములా వరకు కొత్త సూత్రాలను ఉత్పత్తి చేస్తూ ఉండండి.