Quá trình hình thành đại cương về phương pháp giảm nhiệt máy trong dây truyền sản xuất p1

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. ∀X ∈ B . Tính chất 2: X = X.X =...
Nội dung trích xuất từ tài liệu:
Quá trình hình thành đại cương về phương pháp giảm nhiệt máy trong dây truyền sản xuất p1B¸o c¸oQuá trình hình thành đại cương về phương Hïng tèt nghiÖp Lª M¹nh pháp giảm nhiệt máy trong dâyví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 truyền sản xuấtOr. 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. ∀X ∈ B . TÝnh chÊt 2: X = X.X = X^X. ∀X ∈ B . TÝnh chÊt 3: X .X = 0. ∀X ∈ B . TÝnh chÊt 4:1VX = 1. ∀X ∈ B . TÝnh chÊt 5: 0VX = X. TÝnh chÊt 6: X VX = 1. TÝnh chÊt 7: X.Y = x x + y1.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 tath−êng dïng c¸c phÐp tÝnh c¬ b¶n lµ AND ( ∧ ), OR ( ∨ ), NOT , NAND, NOR. Tacã 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 khitÊt c¶ c¸c ®Çu vµo b»ng 1. 12 Khoa c¬ ®iÖn – Tr−êng DHNNI - HNLíp tù ®éng ho¸ 46B¸o c¸o tèt nghiÖp Lª M¹nh Hïng Gi¶ sö xÐt phÇn tö AND hai ®Çu vµo.(KÝ hiÖu hai ®Çu vµo lµ S1 vµ S2, ®Çu ra lµH1) 24V S1 S2 H1 S2 0 0 0 0 1 0 S1 1 0 0 1 1 1 H1 0V B¶ng ch©n lý H×nh 1.1: M¹ch ®iÖn l«gic and VËy NÕu c¶ hai kho¸ S1 vµ S2 ®Òu ®ãng m¹ch th× ®Ìn míi s¸ng. VËy s¬ ®å®iÖn trªn thÓ hiÖn quan hÖ l«gic AND. H1 = S1 ∧ S2 H1 = S1.S2 PhÇn tö OR: Lµ phÇn tö cã nhiÒu ®Çu vµo vµ mét ®Çu ra. Cã gi¸ trÞ b»ng 1 khiÝt nhÊt mét trong c¸c ®Çu vµo b»ng 1.24V S1 S2 H1 S1 S2 0 0 0 0 1 1 1 0 1 H1 1 1 1 0V B¶ng ch©n lý. H×nh1.2: M¹ch ®iÖn logic OR Trong ®ã nÕu S1 hoÆc S2, hoÆc c¶ S1, S2 ®Òu ®ãng th× ®Òu lµm ®Ìn H1 s¸ng nh−nhau. Sù ®ãng m¹ch cña c«ng t¾c S1, S2 lµm ®Ìn s¸ng lµ quan hÖ l«gÝc OR. H1= S1+ S2 13 Khoa c¬ ®iÖn – Tr−êng DHNNI - HNLíp tù ®éng ho¸ 46B¸o c¸o tèt nghiÖp Lª M¹nh Hïng H1=S1+ S2 PhÇn tö NOT: Lµ phÇn tö cã 1 ®Çu vµo vµ mét ®Çu ra, tÝn hiÖu ra lµ phñ ®ÞnhtÝn hiÖu vµo. 24V S1 H1 S1 K1 0 1 0 1 1 0 K1 H1 1 0 0V B¶ng ch©n lý. H×nh1.3: M¹ch ®iÖn logic NOT Kho¸ S1 më m¹ch th× ®Ìn s¸ng. Cßn S1 më th× ®Ìn s¸ng. H1= S 1 PhÇn tö NAND vµ phÇn tö NOR: §©y lµ hai phÇn tö AND phñ ®Þnh( ANDNot) vµ OR phñ ®Þnh(OR Not). 24V NAND S1 S2 H1 S1 K1 0 0 1 S2 0 1 1 1 0 1 K1 H1 1 1 0 0VH×nh 1.4: M¹ch ®iÖn logic NAND H1= S1 ∧ S 2 .Ta cã: H1= S1.S 2 . NOR24V S1 S2 K1 14 Khoa c¬ ®iÖn – Tr−êng DHNNI - HNLíp tù ®éng ho¸ 46 S1 S2 H Lª M¹nh 1HïngB¸o c¸o tèt nghiÖp 0 0 ...