Cтраница 4
Введенный нами язык формул удобен для записи функций алгебры логики, описывающих различные условия или высказывания. [46]
В рассматриваемых моделях ЭКВМ и ЭФМ реализацию функций алгебры логики ( фал) выполняют схемы на дискретных эле - ментах. [47]
Обсудим теперь вопрос о том, какую функцию алгебры логики реализует контактная схема. Эта функция равна единице при тех значениях аргументов, при которых в схеме есть проводимость, и нулю, если проводимости нет. [48]
Я схема S реализует автомат, являющийся функцией алгебры логики. [49]
Представляется очевидным, что трудности оперирования с функциями алгебры логики вообще существенно возрастают с увеличением числа переменных. [50]
Из рассмотрения этого списка элементарных функций видног что функции алгебры логики имеют в / с-значной логике ( k ] 3) по нескольку аналогов, каждый из которых обобщает соответствующее свойство функции. [51]