SORU: Çözümeyici çizelge nasıl oluşturulur?
CEVAP: Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise, o dal kapalıdır denir ve bu durum ortaya çıktığında, o dalda daha fazla devam etmeden, hemen dalın altına bir x (çarpı) işareti konarak, bu işaretin yanına o dalın hangi iki noktasının birbirinin değili olduğu belirtilir. Dal kapanmış ise ya da dalda çözümleyici çizelge kurallarından birini uygulayabileceğimiz hiçbir bileşik önerme kalmamış ise, o dal tamamlanmış bir daldır. Tüm dallar tamamlandığında çizelge de tamamlanmıştır. Çizelge tamamlandığında, tüm dallar kapanır ise, çizelge kapalıdır.