Kontrolltöö tulemused

Soovitus kõigile: HARJUTAGE KLAUSELKUJULE (KONJUKTIIVSELE NORMAALKUJULE) VIIMIST. Sellega eksiti väga palju. Pidage meeles, et Davis-Putnami meetodit ja resolutsioonimeetodit saab rakendada alles siis, kui lause on klauselkujule (või prenekskujule) viidud.

Punkte oli maksimaalselt võimalik saada 60 (20+20+20).

Halling 25 (10+10+5)

Kallas 20 (5+5+10)

Metsvahi 25 (5+5+15)

Sarviro 42 (14+18+10)

Sooba 15 (5+0+10)

Tšitškan 35 (15+15+5)

Umbleja 55 (20+20+15)