|
|
| 1. rida: |
1. rida: |
| 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)
| |