Разработка (программирование, техническая реализация) и проверка схем управления приводами различных типовых механизмов на базе программируемых микропроцессорных реле ф. Сименс

Используя базис элементарных логических операций, включающий отрицание " __ ", конъюнкцию "&" ("") – логическое "И" и дизъюнкцию "" – логическое "ИЛИ", реализовать следующие функции: 1) импликацию I1 → I2; 2) сложение по mod2 I1I2 и альтернативную дизъюнкцию I1ΔI2; 3) эквивалентность I1 ~ I2; 4) штрих Шеффера I1 | I2; 5) (I1 → I2)&(I 2→ I1); 6) ( 1 I  2I )( 2 I  1I ); 7) (I1I2I3)( I1 → I2); 8) {I1 | [(I 2&I 3)( I 2I 3)]}~ I2 Отчет по лабораторной работе должен содержать:  сформулированную цель выполняемой работы;  личную контакторную и логическую схемы;  таблицы значений состояния входов и выходов работы схемы;  выводы по проделанной работе