Эти логические элементы описываются функцией «импликация» (табл.1.3 функции V11 и V14).
V11 = b ® a =
,
V14 = a ® b =
. (1.19)
Первая из функций называется «импликация b», а вторая - «импликация а». На рис.1.15 приведены условные графические обозначения логического элемента ИМПЛИКАТОР а и карта Карно его выходной функции. Правые части выражений (1.19) свидетельствуют о том, что функция импликации в то же самое время является инверсией функции ЗАПРЕТ.
Из карты рис.1.15,в следует, что функция импликации ложна только в том случае, когда один из аргументов принимает ложное значение, а другой - истинное.
В интегральном исполнении ИМПЛИКАТОРЫ в сериях ИМС широкого применения практически не выпускаются. Вместе с тем, согласно УГО рис.1.15,а и в, функцию импликации можно реализовать элементом 2ИЛИ, подав сигнал на его один из входов через инвертор, либо - на элементе ЗАПРЕТ, включив на его выход инвертор. Эти функциональные эквивалентные схемы мы не приводим, из-за их тривиальности.
Следует отметить, что входы у логических элементов импликаторов логически неравнозначны, поэтому порядок подачи входных сигналов строго фиксирован.