Propositional Logic.excalidraw