Problem och deras lösningar
1. Skapa sanningstabellerna OCH, ELLER och INTE med motsvarande grindar.
Lösning:
2. Skriv ner de tio booleska postulaten i deras olika kategorier och namnge kategorierna.
OCH funktion
- 0 . 0 = 0
- 0 . 1 = 0
- 1 . 0 = 0
- 1 . 1 = 1
ELLER-funktion
- 0 + 0 = 0
- 0 + 1 = 1
- 1 + 0 = 1
- 1 + 1 = 1
Fungerar inte
- 0 = 1
- 1 = 0
3. Utan förklaring, skriv ner de tjugosex egenskaperna för boolesk algebra i deras olika kategorier och namnge kategorierna.
Egenskaper för OCH-funktionen
- X . 0 = 0
- 0 . X = 0
- X . 1 = X
- 1 . X = X
Egenskaper för ELLER-funktionen
- X + 0 = X
- 0 + X = X
- X + 1 = 1
- 1 + X = 1
Egenskaper för kombinationen av en variabel med sig själv eller dess komplement
- X . X = X
- X.¯X = 0 samma som XY.¯XY = 0
- X + X = X
- X+ ¯X = 1
Dubbel komplementering
- X ´=X
Kommutativ lag
- X. Y = Y. x
- X + Y = Y + X
Distributiv lag
- X(Y + Z) = XY + XZ
- (W + X)(Y + Z) = WY + WZ + XY + XZ
Associativ lag
- X(YZ) = (XY)Z
- X+ (Y + Z) = (X + Y) + Z
Absorption
- X + XY = X
- X(X + Y) = X
Identitet
- X+¯X Y =X+Y
- X(¯X+Y) = XY
DeMorgans lag
- ¯(X+Y) = ¯X.¯Y
- ¯ (X.Y) =¯ X+¯Y
4. Använd de booleska egenskaperna och citera de använda kategorierna, reducera följande ekvation:
Lösning:
5. Använd de booleska egenskaperna och citera de använda kategorierna, reducera följande ekvation:
Lösning:
De två sista raderna är förenklade. Men den sista-ut-en-raden är att föredra.
6. Använd de booleska egenskaperna och citera de använda kategorierna, reducera följande ekvation – först till summan av produkter och sedan till minimisumman av produkter:
Lösning:
Det sista uttrycket är i formen Sum of Products (SP), men inte i formen Minimum Sum of Products (MSP). Den första delen av frågan har besvarats. Lösningen för den andra delen är som följer:
Denna sista reducerade funktion (ekvation) är i MSP-form.
7. Använd de booleska egenskaperna och citera de använda kategorierna, reducera följande ekvation – först till summan av produkter och sedan till minimisumman av produkter:
Denna sista ekvation (funktion) är i SP-form. Det är inte en sann minimisumma av produkter (ännu inte MSP). Så minskningen (minimeringen) måste fortsätta:
Denna sista ekvation (funktion) är en sann minimumsumma av produkter (MSP).