George Boole Alapműveletek

AND (B)0
(A)0 0
(A)1 0

OR (B)0
(A)0 0
(A)1 1

NOT
(A)0 1
(A)1 0
Származtatott műveletek
Kizáró vagy
XOR (B)0 (B)1 A XOR B = (A OR B) AND NOT(A AND B)
(A)0 0 1
(A)1 1 0

Ha…akkor…
IMP (B)0 (B)1 A IMP B = NOT A OR B
(A)0 1 1
(A)1 0 1

Pontosan akkor
EQV (B)0 (B)1 A EQV B = (A IMP B) AND (B IMP A)
(A)0
(A)1

További feladatokban bizonyítsuk be, hogy az alábbi kifejezések azonosságok!

1. NOT (A AND B) = NOT A OR NOT B

2. NOT (A OR B) = NOT A AND NOT B

4. A OR (B AND C) = (A OR B) AND (A OR C)
5. A OR NOT (B AND C) = A OR NOT B OR NOT C
 Igazságtábla alkalmazása
Az igazságtáblát úgy használjuk, hogy a teljes műveletsort felbontjuk részműveletekre.1. lépésben
felvesszük az előforduló változók lehetséges érték variációit. Ezt követően balról oszloponként töljük
ki az igazságtáblázatot.
(B)1 A B A OR B A AND B NOT (A AND B)
0 0 0 0 0 1
1 0 1 1 0 1
1 0 1 0 1
1 1 1 1 0

(B)1
1 A
1
+| elem

1. Készítsük el az OR kapcsolási rajzát az AND kapcsolási rajz alapján!

A B NOT A NOT A OR B
0 0 1 1
1 1 0 1
1 0 0 0
0 1 1 1

A B A IMP B B IMP A (A IMP B) AND (B IMP A)

0 0 1 1 1
1 1 1 1 1
ságok! 0 1 1 0 0
1 0 0 1 0

A B A AND B NOT (A AND B)

1 1 1 0
0 0 0 1 ← UGYANAZ
1 0 0 1 I
0 1 0 1 ↓
 A B NOT A NOT B NOT A OR NOT B
1 1 0 0 0
0 0 1 1 1
1 0 0 1 1
0 1 1 0 1

A B C (B AND C) NOT (B AND C) A OR NOT (B AND C)

0 0 0 0 1 1
0 0 1 0 1 1
0 1 0 0 1 1
1 0 0 0 1 1
0 1 1 1 0 0
1 0 1 0 1 1
1 1 0 0 1 1
1 1 1 1 0 1
↑
UGYANAZ
↓
A B C NOT B NOT C A OR NOT B OR NOT C
0 0 0 1 1 1
0 0 1 1 0 1
0 1 0 0 1 1
1 0 0 1 1 1
0 1 1 0 0 0
1 0 1 1 0 1
1 1 0 0 1 1
1 1 1 0 0 1

3. A AND (B OR C) = (A AND B) OR (A AND C)

A B C (B OR C) A AND (B OR C)
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
1 0 0 0 0
0 1 1 1 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1 ← UGYANAZ
I
↓
A B C ( A AND B) (A AND C) (A AND B) OR (A AND C)
0 0 0 0 0 0
0 0 1 0 0 0
0 1 0 0 0 0
1 0 0 0 0 0
0 1 1 0 0 0
1 0 1 0 1 1
1 1 0 1 0 1
1 1 1 1 1 1

A B C A AND B A AND C C AND B

0 0 0 0 0 0
0 0 1 0 0 0
0 1 0 0 0 0
1 0 0 0 0 0
0 1 1 0 0 1
1 0 1 0 1 0
1 1 0 1 0 0
1 1 1 1 1 1

A B C A XOR B (A XOR B) XOR C

0 0 0 0 0
0 0 1 0 1
0 1 0 1 1
1 0 0 1 1
0 1 1 1 0
1 0 1 1 0
1 1 0 0 0
1 1 1 0 1
ort felbontjuk részműveletekre.1. lépésben
ióit. Ezt követően balról oszloponként töljük

(A OR B) AND NOT (A AND B)

0
1
1
0

kapcsolási rajz alapján!

C)
(A AND B) OR (A AND C) (A AND B) OR (A AND C) OR (C AND B)
0 0
0 0
0 0
0 0
0 1
1 1
1 1
1 1
 Összeadás Kettes számrendszerben
helyiérték (hatvány kitevő):
hatvány:
szám 1.:
szám 2.:
Manuálisan adjuk össze a szam1 és szam2-őt
helyiértékenként
szerben sz.r. Tizes számrendszerben sz.r.
2 10
 Papik zétény 18 c 17 c 16 c 15 c 14 c 13 c 12 c 11 c 10 c 9 c 8
125670(10)= 0 0 1 1 1 1 0 1 0 1 0
Túlcsordult
A B BIT 6543(10)= 0 0 0 0 0 0 1 1 0 0 1
Összeg: 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0

262144 131072 65536 32768 16384 8192 4096 2048 1024 512 256
c 7 c 6 c 5 c 4 c 3 c 2 c 1 c 0
1 1 1 0 0 1 1 0 (A) 125670
1 0 0 0 1 1 1 1 (B) 6543
1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 132213

128 64 32 16 8 4 2 1
0

0
 Bináris számok kivonása
Készítse el a binaris
munkalap alapján a F-
től az AS oszlopig a
tartalmi és formális
beállításokat!