2. A & C √ (e) 3. ¬B & C √ (e) 4. A ∨ B √ (1.; &D) 5. A (2.; &D) 6. C (2.; &D) 7. ¬B (3.; &D) 8. C (3.; &D) 9. A B (4.; ∨D) ○× Mõlemad lahendused annavad muidugi ühesuguse tulemuse: puu on avatud, kuigi selles on üks suletud haru. Kuid teine lahendus on ülevaatlikum ja selles on vähem kirjutisi. Selleks et tõesuspuud oleksid ülevaatlikumad ning et puude ehitamine nõuaks võimalikult vähe tööd, antakse kolm soovitust: 1. anna kõrgem prioriteet tuletussammudele, mis ei nõua puu hargnemist; 2. erinevate hargnemisvõimaluste vahel valides püüa tekitada võimalikult palju suletud harusid ning võimalikult vähe avatud harusid; 3. lõpeta puu ehitamine, kui nõutud vastus on käes. Teine soovitus on tähtis siis, kui hargnemisi saab teostada erinevas järjekorras. Kolmas soovitus käib peamiselt avatud puu kohta. Kui on leitud üks lõpetatud avatud haru, siis on puu avatud. Puu suletuse tõestamiseks peab lõpetama kõik harud. 1 9
¬B (3.; &D) 8. C (3.; &D) 9. A B (4.; D) × Mõlemad lahendused annavad muidugi ühesuguse tulemuse: puu on avatud, kuigi selles on üks suletud haru. Kuid teine lahendus on ülevaatlikum ja selles on vähem kirjutisi. Selleks et tõesuspuud oleksid ülevaatlikumad ning et puude ehitamine nõuaks võimalikult vähe tööd, antakse kolm soovitust: 1. anna kõrgem prioriteet tuletussammudele, mis ei nõua puu hargnemist; 2. erinevate hargnemisvõimaluste vahel valides püüa tekitada võimalikult palju suletud harusid ning võimalikult vähe avatud harusid; 3. lõpeta puu ehitamine, kui nõutud vastus on käes. Teine soovitus on tähtis siis, kui hargnemisi saab teostada erinevas järjekorras. Kolmas soovitus käib peamiselt avatud puu kohta. Kui on leitud üks lõpetatud avatud haru, siis on puu avatud. Puu suletuse tõestamiseks peab lõpetama kõik harud.
annaabi.ee 
