Теория механизмов и машин. Ефанов А.М - 273 стр.

       Составление формул включения сводится к нахождению алгебраи-
ческого выражения двоичной функции по ее табличному заданию, при-
веденному в таблице включений. В формулы включения не входят входные
сигналы от того механизма или элементы памяти, для которого составляется
формула. Например, при составлении формул включения и выключения
элемента памяти не утрачивается значение сигнала Z для механизма М1 не
учитывается значение сигнала Х1 и т.д.
       В таблице 12.3 выписаны значения входных сигналов в рабочих и
запрещенных состояниях.
       По значениям входных сигналов в рабочих состояниях составляются
исходные формулы включения в виде логического произведения этих
сигналов, причем значению 0 соответствует инверсное значение аргумента.
Например, для включения элемента памяти (fz = 1) должен быть при Х1 = 1,
Х2 = 1 и Х3 = 0, поэтому исходная формула включения имеет вид
f z = X1 X 2 X 3 .
       Для исходной функции включения часто удается подобрать упро-
щенный вариант, содержащий меньшее число входных сигналов, но обла-
дающий теми же свойствами, что исходная функция: исходная и упрощенная
функции равны единице в рабочем состоянии и нулю в запрещенных
состояниях, причем сигналов, входящих в упрощенную формулу при
рабочем состоянии не должен встречаться в запрещенных состояниях. В
упрощенный вариант формулы включения обязательно должен входить
тактирующий сигнал.
       Например, для включения элемента памяти с исходной формулой
включения f z = X 1 X 2 X 3 , при тактирующем сигнале Х3 = 0 или X 3 = 1 .
       Упрощенная формула включения имеет вид fz = X 3 , так как сигнал Х3
= 0 не встречается в запрещенных состояниях.
       Исходная формула включения для пуска вперед механизма Ml
f z = X 2 X 3 Z тактирующем сигнале Х3 = 1 поддается только частичному
упрощению и приводится к виду f 1 = X 3 Z . В некоторых случаях исходные
формулы включения не поддаются упрощению.
       При переборе вариантов при упрощении формул включения следует
руководствоваться правилом: набор сигналов, входящих в упрощенную
формулу при рабочем состоянии не должен встречаться в запрещенных
состояниях.



     Таблица 12.3 - Формулы включения