A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning | Read Paper on Bytez