Propositional Logic_0.excalidraw