Языки и исчисления

Верно утверждение для любой булевой функции от аргументов:

(Отметьте один правильный вариант ответа.)

Варианты ответа

и все получаемые из нее формулы - тавтологии

- тавтология, или

- неопределенна

- записывается в виде пропозициональной формулы(Верный ответ)

Похожие вопросы

Верна теорема для любой булевой функции

Верна теорема для любой булевой функции

Сложность любой булевой

-местной функций при наибольшем размере

их схем:

Сложность большинства булевой

-местной функций при наибольшем размере

их схем:

Если

- минимальная глубина схемы, вычисляющая функцию

, то:

Контрпример к секвенции $A \mapsto B$ будет контрпримером к формуле ( $\wedge A$ - конъюнкция, $\vee A$ - дизъюнкция формул из А)

Вычитание двух

-разрядных двоичных чисел по модулю 2^n

выполнима схема:

Количество всех различных

-местных схем размера

оценивается:

При некотором C > 0

сложность большинства булевых

-местных функций: