A recursive logic-tree engine for first-order logic, originally built in 2002 as part of a mathematical logic diploma project. It uses explicit AST/NNF decomposition with De Morgan transformations and a GUI for step-by-step, explainable (XAI-style) reasoning. Includes propositional logic, CNF/DNF minimization, and FOL proof search.

Source code: https://github.com/JAnicaTZ/TreeOfKnowledge