Классикалық тапсырмада бір шамды басқаратын үш SPST ауыстырып-қосқышы кез келген бір ауыстырып-қосқыштың шығыс күйін өзгертуін қамтамасыз етеді; бұл үш кірісті эксклюзивті OR-ға (тақ паритетке) келіп тіреледі. Екі кірісті XOR — айқастырылған XIC/XIO тармақтарының таныс жұбы. Бұл үлгіні үшінші параллель тармақпен кеңейту дұрыс жалпыланбайды: ол жұптық XOR операцияларының қосындысын жүзеге асырады, сондықтан спецификация тек тақ паритетті талап ететін кезде үш ауыстырып-қосқыш та жабық болса, шамды жағады. Дұрыс шешім — A⊕B мәнін сақтайтын ішкі релелік битті пайдалану, содан кейін (A⊕B)⊕C есептейтін екінші кезеңді қолдану.

Үш тұрақты кірістегі тақ паритет — XOR; ол үш тармақты инклюзивті құрылым емес.

Ақиқат кестесі (1 = жабық)

Екі кірісті бастапқы нұсқа

|--[S1 XIC]-+-[S2 XIO]-+
|           |          +--( Light )--|
|--[S1 XIO]-[S2 XIC]---+             |

LogixPro/RSLogix 500 симуляторларында I:1/0, I:1/1 → O:2/0 сәйкестігін орнатыңыз (немесе Logix Designer ішінде BOOL тегтерін қолданыңыз). S3 қосылғанға дейін төрт жолды тексеріңіз.

Үшінші параллель тармақ неге істемейді

Y = (S1⊕S2) ∨ (S1⊕S3) ∨ (S2⊕S3) өрнегі үш ауыстырып-қосқыш та жабық жолда true мәнін береді, өйткені әр жұп бір-бірінен өзгеше. Студенттер бұл жағдайды екі ауыстырып-қосқыш жабылғаннан кейін шамның «жанып тұрып қалуы» деп сипаттайды. Бұл XOR емес, жұптық инклюзивті логика.

XOR операцияларын B3:0/0 арқылы (немесе BOOL тегі арқылы) каскадтаңыз—жұптық кезеңдерді параллель түрде OR арқылы біріктірмеңіз.

Ішкі битті іске асыру

2-жол — S1 XOR S2 -> B3:0/0
|--[I:1/0 XIC]-+-[I:1/1 XIO]-+
|              |             +--( B3:0/0 )--|
|--[I:1/0 XIO]-[I:1/1 XIC]---+              |

3-жол — B3:0/0 XOR S3 -> O:2/0
|--[B3:0/0 XIC]-+-[I:1/2 XIO]-+
|               |             +--( O:2/0 )--|
|--[B3:0/0 XIO]-[I:1/2 XIC]---+             |

XOR ассоциативті болғандықтан, ауыстырып-қосқыштардың реті маңызды емес. Logix Designer ішінде сол теңдеулер мынадай болады XOR_Mid := S1 XOR S2; Light := XOR_Mid XOR S3; құрылымдалған мәтін үшін немесе BOOL тегтеріндегі дәл сондай контакті үлгілері үшін. Аралық бит бір жолда жазылып, сол сканерлеу кезеңінде келесі жолда оқылады; бұл осы үлгі үшін әдейі жасалған және тұрақты тәсіл.

LogixPro / RSLogix 500 ішіндегі процедура

1. Симулятордағы дискретті кіріс және шығыс модульдерін растаңыз (әдепкі I:1 / O:2 сәйкестендіруі)
2. B3 бинарлық файлының қосымша биттері бар екеніне көз жеткізіңіз немесе Logix Designer ішінде XOR_Mid атты BOOL тегін жасаңыз
3. B3:0/0 мәнін S1 және S2-ден айқастырылған XIC/XIO контактілері арқылы басқаратын 2-жолды құрыңыз
4. B3:0/0 және S3 арқылы O:2/0-ді басқаратын 3-ші rung-ты дәл сондай айқасқан үлгімен құрыңыз
5. Жүктеп алыңыз, процессорды RUN режиміне қойыңыз және ақиқат кестесін тексермес бұрын барлық күшпен орнатылған мәндерді өшіріңіз
6. Сымдардың жалғануын тексеру үшін әр кіріс жарықдиодын және шығыс шамын бір рет уақытша күшпен орнатыңыз, содан кейін күшпен орнатылған мәндерді өшіріңіз

Мекенжай жоспары және баламалар

Қосымша диагностика үшін екі аралық мәнді де сақтаңыз: B3:0/0 = S1 XOR S2 және B3:0/1 = mid XOR S3. Содан кейін шамды B3:0/1 арқылы басқарыңыз, сонда онлайн мониторлар тізбекті кез келген кезеңде үзе алады. Сөз деңгейіндегі XOR нұсқаулары паритетті тексеру үшін көптеген кірісті жинақтай алады, бірақ үш ауыстырып-қосқышқа арналған оқыту үлгісін жасырады. «Кез келген екі кіріс true емес» шартын контактілер орманы арқылы өрнектеуге тырысатын DeMorgan түрлендірулерінен аулақ болыңыз — ішкі биттер каскады оқу стендтерінде де, өндірістік режим селекторларында да қолдауға ыңғайлы нұсқа болып қала береді.

Қол қою алдында паритеттің барлық сегіз жолын тексеріңіз

1. Күштеп орнатылған мәндерді өшіріп, ақиқат кестесінің барлық сегіз жолын тексеріңіз
2. Үш жабық ауыстырып-қосқыш шамды жағатынын растаңыз (тақ паритет)
3. Әр ауыстырып-қосқышты жеке-жеке қосып, шығыстың ауысатынын дәлелдеңіз
4. Егер екі кіріс болғанда шам жанып тұрып қалса, сізде әлі де жұптық OR логикасы бар
5. Қосымша: нақты машиналарда ажыратылғаннан кейін екі бекітілетін режим ауыстырып-қосқышы true мәнін көрсетсе, дабыл беріңіз
6. Келесі өңдеушіге арналған rung түсіндірмелерінде (A XOR B) XOR C логикалық теңдігін құжаттаңыз

Келесі өңдеу кезінде код түсінікті болуы үшін аралық мәндерді атаусыз биттермен емес, функциясына қарай атаңыз (XOR_Mid, ModeParity). Осы тәртіпті PLC және PAC жүйелері бойынша стандартталған барлық жүйелерде ұстаныңыз.