Kõik harjutused ja KT-d
Kool: Tallinna Tehnikaülikool (TalTech, TTÜ)
Aine: Digitaalne loogika
Kategooria: Matemaatika
Postitatud: 12 jaanuar 2026
Postitaja: MaagilineLeopard
Kirjeldus
ITI0402 Loogika sugis 2025 Harjutus 1 1. Maara toevaartustabeli meetodiga (st vaadates ukshaaval labi koik vaartustused) iga jargneva va- lemi kohta kas ta on uldkehtiv kehtestatav vaaratav voi vastuoluline. Pane tahele et iga valem kuulub tapselt kahte klassi neist. Kui valem on kehtestatav siis too valja vahemalt uks vaartustus mille korral ta on toene. Kui vaaratav siis vahemalt uks vaartustus mille korral ta on vaar. (p p) p (p p) p (q q) p (p q) (p q) (q r) (p r) 2. Kontrolli toevaartustabeli meetodiga et jargmised hastituntud tautoloogiad toepoolest on uldkehtivad p (p q) p (konjunktsiooni absorptsioon) p (q r) (p q) (p r) (konjunktsiooni jaotuvus) ((p q) r)) (p (q r)) (ekvivalentsi assotsiatiivsus) 3. Me oleme primiivseteks konnektiivideks valinud . See ei ole ainus voimalik valik ja on juba ise liiane nt on valjendatav ja kaudu. () Naita et koik konnektiivid on ekvivalentselt valjendatavad uheainsa konnektiivi (konjunkt- siooni eitus NAND Shefferi kriips AB (A B…