Пример 2.10.

_

F(a,b,c) = a b + a c; Временные диаграммы:

Реализация данной функции: b, c

t

a

&

τ₃₁

α1 t

b

1

f τ₃₁ t

t

_ τ₃₁

a

&

τ₃₂

α2 f

c t

ложное значение

где τ₃₁ и τ₃₂ время задержки на первом и втором элементе, причём τ₃₁ < τ₃₂ . При переходе от набора <a,b,c>=<1,1,1> к набору <0,1,1> из-за разных задержек в элементах, на выходе возникает ложное значение f(a,b,c)=0 вместо f=1.

Неодновременные изменения выходных сигналов логических элементов при одновременном изменении сигналов на их входах называется состязаниями логических элементов. Состязания называются критическими, если они приводят к появлению ложных значений выходных сигналов, и не критическими – в противном случае. Для борьбы с состязаниями, необходимо в диаграммах Карно склеивать все соседние единицы. Например, если для выше приведённых функций добавить конъюнкцию bc , выполнив операцию склеивания всех соседних единиц (смотри диаграмму Карно функции на рис. 2.21.), то ложный сигнал f=0 на выходе исчезнет. Таким образом, реализация F= a b + c + b c; позволяет устранить критические состязания, происходящие из-за изменения переменной а.

F b

	1	1
a(		1	1

с

Рис. 2.21.