Return to Article Details Truth tree short-cut rules for biconditional and exclusive disjunction propositions Download Download PDF