https://advancedainews.com/circuit-analysis-in-llms-for-propositional-logical-reasoning/