Tree Diagram About Logic