- sisse- ja väljalülitamine fikseeritud asenditega lüliti, näiteks tumbleri abil; - sisse- ja väljalülitamine isetagastuvate käsklusaparaatide, näiteks juhtimisnuppude abil. Mõlemal juhul peab programm kindlustama valgustusinstallatsiooni peatamise ning naasmise lähteasendisse ükskõik millisel ajahetkel. 3. Töö käik 1. Koostada antud tsüklogrammi realiseeriv kontaktjuhtimisskeemid. 2. Koostada kontaktskeemide alusel juhtimisprogrammid käsuloendi kujul, kasutades programmeerimiskeelelt PL7-1 Ladder Diagram. 3. Sisestada koostatud programmid loogikakontrollerisse. 4. Kontrollida sammhaaval sisestatud programme, vajadusel parandada vead. 5. Koostada vajalikud installatsiooniskeemid. 6. Lülitada loogikakontroller talitlusse ,,RUN" ja veenduda, et programm täidab talle püstitatud ülesandeid. 4. Töö tulemuste vormistamine 1. Koostada antud tsüklogrammi, joonis 1
argumentide eituste loogilise summaga. Argumentide loogilise summa eitus võrdub nende argumentide eituste loogilise korrutisega. De Morgani seadusi rakendades saab asendada loogilise liitmistehte loogilise korrutamisega ning vastupidi loogilise korrutamise tehte loogilise liitmisega Üldistatud De Morgani ehk Shannoni seadus Loogikaseadusi saab tõestada loogika tõeväärtustabelitega või relee- kontaktskeemide abil. De Morgani seaduste tõestus loogika tõeväärtustabelite abil on toodud tabelis. Ühtlasi näitab tabel kätte võimaluse kuidas loogilist NING-EI elementi saab asendada loogikalülitusega mis koosneb VÕI-EI elementidest. Boole'i ehk loogikafunktsioonide teisendamiseks eraldatakse nende hulgast nn elementaarfunktsioonid. Nendeks on esiteks kõik mõeldavad kahe muutuja funktsioonid, sealhulgas eespool vaadeldud inversioon, disjunktsioon ja
a + b = a ⋅b ; a ⋅ b ⋅ cL w = a + b + c +L + w ; (1.21) a + b + c +L + w = a ⋅ b ⋅ c L w . Üldistatud De Morgani ehk Shannoni seadus ( ) f (a, b, c, L w,⋅,+ ) = f a , b , c ,L, w ,+,⋅ . (1.22) 24 Loogikaseadusi saab tõestada loogika tõeväärtustabelitega või relee-kontaktskeemide abil. De Morgani seaduste tõestus loogika tõeväärtustabelite abil on toodud tabelis 1.4. Tabel 1.4 a b ab ab a b a +b 0 0 0 1 1 1 1 0 1 0 1 1 0 1