Kontrolltöö tulemused: erinevus redaktsioonide vahel

Viimane redaktsioon: 25. mai 2012, kell 13:48

Maksimaalselt võis saada kontrolltööl 50 punkti (20+30).

@@ 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.
+Maksimaalselt võis saada kontrolltööl 50 punkti (20+30).
-Punkte oli maksimaalselt võimalik saada 60 (20+20+20).
+# 104972 50
+# 110054 15
-Halling 25 (10+10+5)
+# 111377 30
+# 111382 24
-Kallas  20 (5+5+10)
+# 111525 5
+# 111675 25
-Metsvahi  25 (5+5+15)
+# 111623 35
+# 111679 25
-Sarviro  42 (14+18+10)
-Sooba  15 (5+0+10)
-Tšitškan  35 (15+15+5)
-Umbleja  55 (20+20+15)