Osman, F. Truth Tree Short-Cut Rules for Biconditional and Exclusive Disjunction Propositions. IJOESS 2025, 16, 1054-1077.