8.1. Функциональные элементы и схемы

Пусть имеется некоторое устройство, внутренняя структура которого нас не интересует, а известно лишь, что оно имеет п упорядоченных входов (занумерованных числами от 1 до п) и один “выход”. На каждый из входов может подаваться один из двух сигналов: 0 или 1 (“отсутствие тока” или “наличие его”) и при каждом наборе сигналов на входе возникает один из двух сигналов 0 или 1 на выходе. Такое устройство называется функциональным элементом (ФЭ). ФЭ, соответствующий функции j от нескольких переменных, может быть изображен следующим образом:

Ясно, что каждому ФЭ соответствует некоторая булева функция f(x₁, x₂,…, x_n). Некоторые входы могут быть фиктивными (т. е. при любом наборе сигналов на остальных входах сигнал на выходе не зависит от сигнала на этом входе, и соответствующая булева функция зависит от меньшего числа переменных). Если имеется несколько ФЭ, то из них можно получать новые сложные ФЭ (например, один из входов ФЭ можно соединить с выходом другого. В этом случае полученное соединение соответствует суперпозиции двух функций. Можно также соединять некоторые входы, что означает отождествление некоторых переменных).

Следующие соединения, очевидно, являются логическими функциями: (x + y) | (y ~ z) и (x | y) ~ (x× y).

Более точно: будем называть соединение нескольких ФЭ схемой, если выполнены следующие естественные требования:

а) всякий ФЭ является схемой;

б) если S₀ – схема и два ее входа соединены вместе, то получившаяся в результате конструкция S также является схемой;

в) если S₁ и S₂ – схемы, то схемой будет также конструкция S, полученная соединением какого-либо входа S₁ с выходом S₂;

г) всякая схема может быть построена из ФЭ за конечное число шагов при помощи конструкций, описанных в б, в.

Ясно, что не всякое соединение ФЭ является схемой.

Соединение S конечного числа функциональных элементов является схемой тогда и только тогда, когда выполнены 3 условия:

среди ФЭ есть один и только один свободный выход (т.е. выход, не соединенный ни с каким входом);

каждый вход любого ФЭ может быть соединен не более чем с одним выходом другого ФЭ;

в соединении S нет циклов (т.е. нет такого упорядоченного набора ФЭ, когда вход следующего соединен с выходом предыдущего и вход первого соединен с выходом последнего. Цикл в соединении иначе называют обратной связью).

Теперь посмотрим, как на языке схем перефразируется задача о полноте системы функций. Пусть имеется некоторый набор функциональных элементов j ₁, j ₂ ,…,j _п(точнее, типов ФЭ, т. е. считаем, что имеется неограниченное число элементов, реализующих каждую из функций j _k). Спрашивается, при каких условиях любую булеву функцию можно реализовать при помощи схемы, состоящей из данных ФЭ. Из предыдущего ясно что ответ на этот вопрос дается теоремой Поста.

Замечание. Ясно, что при реализации описанных выше устройств необходимо учитывать, что для работы конкретных ФЭ требуется некоторое время, что влияет на фактор полноты ФЭ. Подробнее об этом можно узнать в [3].

Заметим, что на практике часто используются функции “конъюнкция” и “дизъюнкция”. Для них часто схемы изображаются несколько иначе. Дадим более точное определение. Релейно-контактной схемой или РКС будем называть некоторое соединение, состоящее из следующих элементов:

переключателей (это могут быть как механические устройства, так и лампы, электромагнитные реле и т. д.) Каждый переключатель может принимать значение 1(через него пройдет ток) или 0 (через него ток не проходит). Будем считать, что любой переключатель соответствует либо логической переменной x, либо  ;

проводников, могущих соединять переключатели либо последовательно, либо параллельно (это соответствует замене ФЭ, определяющих конъюнкцию или дизъюнкцию);

входа и выхода из системы (вход и выход называются полюсами системы).

Иначе РКС называют переключательной схемой (П-схемой).

Будем говорить, что конкретная РКС принимает значение 1 при данных значениях переключателей, если через нее проходит ток, в противном случае мы считаем, что она принимает значение 0.

Две РКС считаются равносильными, если они принимают одинаковые значения при одних и тех же значениях переключателей.

Очевидно, что любая суперпозиция функций конъюнкции, дизъюнкции и отрицания может быть изображена в виде РКС. Например, функции  соответствует следующая РКС.

Следующая РКС соответствует функции   (в ней 12 переключателей).

После сокращения СДНФ по правилу Блейка можно получить равносильную формулу: L = xz yz  xz  , для которой РКС будет иметь 6 переключателей. Если ставить целью уменьшение числа переключателей, то последнее выражение можно преобразовать к виду L = (x  y) z xy  (РКС будет иметь 5 переключателей).