The top documents tagged [compound propositional logic]