Probleemid ja nende lahendused
1. Koostage AND, OR ja NOT tõesuse tabelid koos neile vastavate väravatega.
Lahendus:
2. Kirjutage kümme Boole'i postulaati nende erinevatesse kategooriatesse, nimetades kategooriad.
JA funktsioon
- 0 . 0 = 0
- 0 . 1 = 0
- 1 . 0 = 0
- 1 . 1 = 1
VÕI Funktsioon
- 0 + 0 = 0
- 0 + 1 = 1
- 1 + 0 = 1
- 1 + 1 = 1
EI funktsioon
- 0 = 1
- 1 = 0
3. Kirjutage ilma selgituseta Boole'i algebra kakskümmend kuus omadust erinevatesse kategooriatesse, nimetades kategooriad.
Funktsiooni JA omadused
- X . 0 = 0
- 0 . X = 0
- X . 1 = X
- 1 . X = X
Funktsiooni VÕI omadused
- X + 0 = X
- 0 + X = X
- X + 1 = 1
- 1 + X = 1
Omadused muutuja enda või selle täiendusega kombineerimiseks
- X . X = X
- X.¯X = 0 sama mis XY.¯XY = 0
- X + X = X
- X + ¯X = 1
Kahekordne täiendamine
- X = X
Kommutatiivne seadus
- X. Y = Y. x
- X + Y = Y + X
Jaotusseadus
- X(Y + Z) = XY + XZ
- (W + X) (Y + Z) = WY + WZ + XY + XZ
Assotsiatiivne seadus
- X(YZ) = (XY)Z
- X + (Y + Z) = (X + Y) + Z
Imendumine
- X + XY = X
- X(X + Y) = X
Identiteet
- X+¯X Y =X+Y
- X(¯X+Y) = XY
DeMorgani seadus
- ¯ (X+Y) = ¯X.¯Y
- ¯ (X.Y) =¯ X+¯Y
4. Kasutades Boole'i atribuute ja tsiteerides kasutatud kategooriaid, vähendage järgmist võrrandit:
Lahendus:
5. Kasutades Boole'i atribuute ja tsiteerides kasutatud kategooriaid, vähendage järgmist võrrandit:
Lahendus:
Kaks viimast rida on lihtsustatud. Eelistatakse siiski viimast, kuid üks rida.
6. Kasutades Boole'i omadusi ja tsiteerides kasutatud kategooriaid, taandage järgmine võrrand – esmalt toodete summaks ja seejärel toodete miinimumsummaks:
Lahendus:
See viimane avaldis on toodete summa kujul (SP), kuid mitte toodete minimaalse summa kujul (MSP). Küsimuse esimene osa on vastatud. Teise osa lahendus on järgmine:
See viimane vähendatud funktsioon (võrrand) on MSP kujul.
7. Kasutades Boole'i atribuute ja tsiteerides kasutatud kategooriaid, taandage järgmine võrrand – esmalt toodete summaks ja seejärel toodete miinimumsummaks:
See viimane võrrand (funktsioon) on SP kujul. See ei ole tõeline toodete minimaalne summa (ei ole veel MSP). Seega peab vähendamine (minimeerimine) jätkuma:
See viimane võrrand (funktsioon) on tõeline toodete minimaalne summa (MSP).