B¸o c¸o tèt nghiÖp Lª M¹nh Hïng
Líp tù ®éng ho¸ 46 Khoa c¬ ®iÖn – Tr−êng DHNNI - HN
12
víi phÐp tÝnh And, t−¬ng øng biÕn lu«n cã gi¸ trÞ 0 lµ phÇn tö ®¬n vÞ cña phÐp tÝnh
Or. Nªn ta cã:
x^1 = 1^x = x. Víi mäi x thuéc B.
xV 0 = 0Vx = x. Víi mäi x thuéc B.
§Þnh nghÜa: Kh«ng giíi h¹n quy ®Þnh cña b¶ng ch©n lý vÒ c¸c phÐp tÝnh And,
Or, Not nÕu trªn (B) ta x¸c ®Þnh ®−îc 3 phÐp tÝnh And, Or, Not tho¶ m·n.
1) xVy = yVx.
2) xV(y^z) = (xVy)^z.
3) (x^y)V(xVy) = x.
Mäi x, y, z thuéc B th× tËp B cïng 3 phÐp tÝnh ®ã sÏ ®−îc gäi lµ ®¹i sè Boole.
2.TÝnh chÊt:
Mét ®¹i sè Boole B víi 3 phÐp tÝnh And, Or, Not cã c¸c tÝnh chÊt sau:
TÝnh chÊt 1:
X
= X.
B
X
∈
∀.
TÝnh chÊt 2: X = X.X = X^X.
B
X
∈
∀
.
TÝnh chÊt 3:
X
.X = 0.
B
X
∈
∀
.
TÝnh chÊt 4:1VX = 1.
B
X
∈
∀.
TÝnh chÊt 5: 0VX = X.
TÝnh chÊt 6:
X
VX = 1.
TÝnh chÊt 7: X.Y = yxx +
1.2.4. C¸c phÇn tö l«gic c¬ b¶n.
Trong kÜ thuËt sè còng nh− trong viÖc ®iÒu khiÓn b»ng PLC th× ng−êi ta
th−êng dïng c¸c phÐp tÝnh c¬ b¶n lµ AND (
∧
), OR (∨), NOT , NAND, NOR. Ta
cã c¸c quan hÖ l«gic lµ:
• PhÇn tö AND.
Lµ phÇn tö cã nhiÒu ®Çu vµo vµ mét ®Çu ra, ®Çu ra cã gi¸ trÞ l«gic b»ng 1 khi
tÊt c¶ c¸c ®Çu vµo b»ng 1.
