Дискретные цикловые системы автоматического управления: Методические указания к выполнению лабораторных работ по курсу «Автоматизация производственных процессов в машиностроении», страница 4

       Таблицы последовательных состояний, отражающие состояния логических элементов в автоматическом цикле составляют на основании циклограммы. Их целесообразно составить отдельно для каждой функции. Необходимо подобрать минимальное количество переменных, которые бы однозначно позволяли получить требуемые значения функции. В качестве переменных используют состояния датчиков, которые производят включение или выключение напряжения на нагрузке и осуществляют поддержание его в промежутках времени между срабатыванием датчиков. В качестве переменных также использую, состояния датчиков, осуществляющих заданные блокировки.

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

       Данные о значениях функции для использованных состояний переменных вносят в таблицу истинности. Так как для реализации цикла обычно не важно, какие значения будет иметь функция при неиспользованных состояниях входных переменных, то можно при заполнении таблицы в соответствующие клетки заносить 0.

       Так как каждая переменная принимает два значения, то возможное количество комбинаций значений  переменных определяется как . Каждую комбинацию значений условно можно представить в виде двоичного -разрядного числа. Например, для функции трех переменных: 000, 001, 010, 011, 100 и т.д., где каждая позиция соответствует значению переменных , , . Функциями одной переменной являются логическое повторение (функция ТО ЖЕ)  и логическое отрицание (функция НЕ) . Для этих функций в табл. 2 приведены аналитические формулы, эквивалентные релейно-контактные схемы и условное обозначение логических элементов по ГОСТ 2.743-82.

       Сведения о наиболее часто используемых функциях двух переменных приведены в табл. 3. Таблицы истинности функция одной и двух переменных представлены в табл. 4 и 5.

       Таблица 3.2 – Логические функции одной переменной

Название функции	Формула	Релейно-контактная схема	Условное обозначение элемента
Повторение (ТО ЖЕ)
Отрицание (НЕ)

       Таблица 3.3 – Логические функции двух переменных

Название функции	Формула	Релейно-контактная схема	Условное обозначение элемента
Коньюнкция (И)
Дизьюнкция (ИЛИ)
И–НЕ
ИЛИ–НЕ
Запрет
Исключающее ИЛИ

       Таблица 3.4 – Таблица истинности функций одной переменной

       Таблица 3.5 – Таблица истинности функций одной переменной

Аргумент		Функция ()
		И	ИЛИ	И–НЕ	ИЛИ–НЕ	Запрет	Искл. ИЛИ
0	0	0	0	1	1	0	0
0	1	0	1	1	0	0	1
1	0	0	1	1	0	1	1
1	1	1	1	0	0	0	0