Disjunktsioon Millist muutujat nimetatakse seotud muutujaks ja millist vabaks muutujaks? Muutujad, millele on rakendatud kvantorit, nimetatakse seotud muutujaks. Kvantorimärgiga mitteseotud predikaatmuutujaid nimetatakse vabadeks muutujateks. Mida tähendab hüüumärgiga eksistentsikvantor? Tähendab, et leidub täpselt üks. Millal on kaks predikaati võrdväärsed? Predikaadid on võrvdväärsed, kui nende tõeväärtuspiirkonnad langevad kokku. Mida nimetatakse loogikaseadusteks? Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Õpi Loogikaseadused selgeks!(LK 22-23) Milline binaarne loogikatehe ei ole kommutatiivne. Selleks peaks olema implikatsioon. Millist avaldise teisendusvõimalust esitab distributiivsusseadus? Sulgude ette toomist. Millise loogikaväärtusega disjunktsioon ei muuda avaldise väärtust? 0 väärtuse puhul?
..9) ning mäluelement ehk triger (10). Keerukamaid loogikalülitusi, mis koosnevad paljudest loogikaelementidest ning on ette nähtud kindlate funktsioonide täitmiseks, nimetatakse funktsionaalseteks loogikalülitusteks. Kõiki loogikalülitusi liigitatatkse mäluta kombinatsioonloogikalülitusteks ja mäluga järjendloogikalülitusteks. 3.3 Loogikafunktsioonid ja elemendid 3.4 Loogikaseadused Loogikaseadusteks nimetatakse tavaliselt binaarloogika algebra ehk Boole' i algebra seadusi. (George Boole [2.11.1815-8.12.1864], inglise matemaatik ja loogik oli üks matemaatilise loogika rajajaid.) Algebraks nimetatakse üldjuhul elementide hulka, millega tehakse tehteid, kusjuures nende tehete aluseks on kindlad reeglid ehk aksioomid. Aksioomid määravad ära algebra põhitehete omadused ja seosed. Kuna nüüdismatemaatikas on palju algebra like (universaalalgebra, hulgaalgebra,
lülitatakse x2 S T väljund olekusse y Q 1 ning see olek R säilib, kuni seda y ei muudeta sisendiga x2 19 1.2.2. Loogikaseadused Loogikaseadusteks nimetatakse tavaliselt binaarloogika algebra ehk Boole' i algebra seadusi. Algebraks nimetatakse üldjuhul elementide hulka, millega tehakse tehteid, kusjuures nende tehete aluseks on kindlad reeglid ehk aksioomid. Aksioomid määravad ära algebra põhitehete omadused ja seosed. Kuna nüüdismatemaatikas on palju algebra liike (universaalalgebra, hulgaalgebra, loogikaalgebra), siis kehtivad neis ka erinevad tehted ja aksioomid