Список вопросов базы знаний

Существует конечный автомат для последовательного умножения 30-значных двоичных чисел

Функция переходов Ф автомата - функция двух переменных

Число выходных символов конечного автомата меньше или равно числу его внутренних состояний

Число дуг графа переходов автомата равно числу входных символов

Число строк в таблице переходов автомата равно числу его состояний

В логической сети допустимы ориентированные циклы, если в каждом из них имеется элемент задержки

Выход элемента задержки может быть выходом логической сети

Выходной полюс схемы из функциональных элементов может быть присоединен к входу некоторого элемента этой сети

Если в момент времени t известны значения на выходах всех задержек логической сети, то выходное значение Z(t) полностью определяется входным значением X(t)

Логическая сеть - схема из функциональных элементов и задержек, действующая в тактовом (дискретном) режиме

Любую булеву функцию можно реализовать схемой из функциональных элементов, состоящей из конъюнкторов и дизъюнкторов

Минимальные элементы - выходы схемы

Сложение, вычитание, умножение, деление, возведение в степень являются двуместными функциями действительных переменных

Схема из функциональных элементов для параллельного суммирования двух n-значных двоичных чисел имеет 2n входных и (2n +1) выходных полюсов

Схема из функциональных элементов с пятью входными полюсами может иметь семь выходных полюсов

Умножение 20-значных двоичных чисел может быть реализовано схемой из функциональных элементов

Число элементов сумматора последовательного действия для сложения многозначных двоичных чисел связано с размерностью слагаемых

Элемент задержки - элемент, значение на выходе которого в каждый момент времени меньше значения на его входе в предыдущий момент

Элемент задержки имеет один вход и один выход

Элементарный сумматор - схема, реализующая сложение многозначных двоичных чисел

X + Y = Y + X и ХY = YX - эквивалентные предикатные формулы

y = f(x) - двуместный предикат F(x, y)

Всякая теорема содержит условие и заключение

Высказывание "для всех X выполнено P(X)" - квантор общности

Если предметная область двуместного предиката - конечное множество, то предикат может быть задан таблицей

Значения предиката равны единице в области его истинности

Квантор всеобщности - обобщение операции дизъюнкции

Квантор существования - обобщение дизъюнкции

Над предикатами можно производить логические операции

Неопределенные высказывания называются предикатами

Предикатная формула содержит знаки булевых операций, кванторов и обозначения предикатов

Предикаты - определенные высказывания

Утверждения, содержащие неопределенный, переменный член, являются высказываниями

Частноотрицательное суждение обозначается латинской буквой Е

Эквивалентные предикатные формулы - формулы, у которых области истинности совпадают

Дизъюнкция любых двух формул равна их конъюнкции плюс сумма обеих составляющих

Если многочлен Жегалкина содержит произведение каких-нибудь переменных, то выражаемая им функция нелинейна

Если функция f (X, Y, Z) существенно зависит от переменной X и выполнено f (0, 1, 0) = f (1, 1, 0) = 1, то она нелинейная

Если функция f (X, Y, Z) существенно зависит от переменной X и выполнено f (0, 1, 0) = f (1, 1, 0) = 1, то она самодвойственная

Замыкание системы F булевых функций - множество всех суперпозиций функций системы F

Класс монотонных функций - замкнутый

Никакая функция не может быть представлена больше чем одним многочленом

Переменная является формулой, если входит в систему D и обозначается тем же символом

Суперпозиции формул соответствует суперпозиция функций

Суперпозиция f(X) = f(X, X, ..., X) - функция одной переменной, не сохраняющая значение 0, т. е. равная 1 при Х = 0

Существует ровно пять предполных классов

Функция "штрих Шеффера" принадлежит классу М монотонных функций

Число булевых функций от трех переменных равно 64

Число подчиненных вершин следующего яруса у каждой вершины равно числу ее аргументов

Элементарные конъюнкции, составляющие ДНФ, могут иметь разное число сомножителей