Квант

48

как входы и выходы каждого элемента выведены на лицевую панель в виде гнезд.

Соединение их друг с другом осуществляется с помощью шнуров с накопечниками.

Вот пример кебольшей задачи, которое можно решить, используя полигон.

Задача. Для проведения системы по поднятию тяжестей было задумано изготовить трансрапант с текстом «ВЕС ВЗЯТ ПРАВИЛЬНО». Эта надпись должна подвешивать, если прое спортивных судей A (он является старшим судей), В и C прijdут к выходу, что вес взят правильно. Свое решение они сообщают, нажав на кнопку (этом самым они посылают сцена «1» в автомат, управляющий освещением трансрапанта). Трансрапант должен заогранться еще в двух случаях, а именно, если две судей (один из них обязательно старший) сценаом, что вес взят правильно. Всякое другое распределение мнений судей не должно вызывать подвешивания трансрапанта.

Ясно, что автомат должен три входа, на которые будут поступать сигналы от судей, и один выход, на котором будет выработать сигнал на включение трансрапанта.

Легко получить структуру формулу автомат:

X=ABC+ABCˉ+ABCˉX = ABC + \bar{ABC} + AB\bar{C}

(1)

Действительно, трансрапант должен быть включен, если все трое судей или две из них (и обязательно один из двойных — старший) пошлют сигнал «1».

Воспользовемся сведениями из уже упоминавшейся нами статью Л. Л. Цинмана и преобразуем формулу (1):

X=ABC+ABCˉ+ABCˉ=AB+AC=A(B+C).X = ABC + \bar{ABC} + AB\bar{C} = AB + AC = A(B + C).

По этой формуле следует строить функциональный схему автомата. Получится схема, приведенная на рисунке 3.

Убедитесь в этом, рассмотрев все варианты решения судей. Однако из вариантов показан на рисунке 4.

Приведем несколько задач на конструкрование схем на «Полигоне логических структур».

  1. Как изменится схема автомата «Спортивный судья», конструкрованного выше, если трансрапант «вес взят правильно» должен подвешивать при согласии любых двух из трех работющих судей?

  2. Вычертете функциональный схему из описанных логических элементов «И», «ИЛИ», «НЕ» автомата, который сумет сложить два любых однозначных двойных числа (такой автомат называют получиматериом).

  3. Вычертете функциональный схему умножитель двух двух разрядных двойных чисел.

  4. Вычертете функциональный схему, с помощью которого можно проследить за справедливостью значений в математической логике формул А. де Моггана:

A‾+B=AˉBˉ,\overline{A} + B = \bar{A}\bar{B},
ABˉ=Aˉ+Bˉ.\bar{AB} = \bar{A} + \bar{B}.

Нашчитатель ученик восьмого класса Юра Соркин прислал нам изящное решение задачи (см. «Квант» № 6, 1973)

Легко видеть, что бесконечное множество чисел

a(1+d)ma(1+d)^m

(*)

при m=1,2,3,...m = 1, 2, 3, ... имеет один и те же простые множители в разложении каждого из них, и ясно также (воспользовитесь биометром Ньютона), что все числа (*) являются членами заданной арфметической прогрессии с первым членом aa и разностю dd.