Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

Мы продолжаем изучать программирование ПЛК ОВЕН в универсальной среде программирования CoDeSys. В этой публикации описаны элементы языка релейно-контакторных схем (релейные диаграммы LD, LD-диаграммы). С предыдущей публикацией по программированию ПЛК, посвященной знакомству с операторами языка ST (структурированный текст), можно ознакомиться здесь. LD (Ladder Diagram) язык релейных диаграмм или релейно-контактных схем (РКС) — графический язык, реализующий структуры электрических цепей. Данный графический язык появился как решение задачи прозрачного переноса релейных схем в ПЛК...