Diskreetse matemaatika elemendid, eksami konspekt
Valemi TDNK jaoks on üheselt määratud seal esinevate täielike
elementaarkonjunktsioonide hulk, see peab vastama esialgse valemi
tõeväärtuse veerule. Seega on TDNK määratud ühesel kuni
elementaarkonjunktsioonide järjestuse täpsuseni.
f. TDNK-le teisendamise algoritm https://moodle.ut.ee/mod/url/view.php?
id=78717 lk 29 30.
7)
a. Boole'i funktsioonide esitamine lausearvutuse valemitega.
https://moodle.ut.ee/mod/resource/view.php?id=125416 lk 14 16.
8)
a. Lausearvutuse tehted on kasutusel tingimuste kirjapanemisel:
a.i. Programmeerimiskeelte tingimuslausetes ja tsüklitingimuste
a.ii. Päringukeeltes
a.iii. Semantilises veebis (ontoloogiad) jne.
9)
a. Tõestamise strateegiad. https://moodle.ut.ee/mod/resource/view.php?id=96258
b. https://moodle.ut.ee/mod/resource/view.php?id=89132
10)
a. **Kvantorite distributeerumine konjunktsiooni ja disjunktsiooniga.
b
annaabi.ee 
