(Росдистант) Математическая логика и теория алгоритмов. Ответы на тесты по курсу

В работе представлено 200 ответов на тесты по курсу "Математическая логика и теория алгоритмов". Все вопросы промежуточных и итогового теста складываются из данных вопросов.

Для формул_______ выясните, будет ли какая-либо из них логическим следствием другой.

Количество элементарных дизъюнкций, входящих в СКНФ функции ______ равно

Количество элементарных конъюнкций, входящих в СДНФ функции ______ равно

Множество истинности предиката ________, где _______состоит

На множестве R заданы предикаты _________, Какое утверждение является верным?

Нормальный алгоритм в алфавите ______ задается схемой ______ . Какое слово получится в результате применения этого алгоритма к слову______?

Нормальный алгоритм в алфавите ______ задается схемой ______ . Применение его к слову _____ дает слово

Определите, в какое слово перерабатывает машина слово ______, исходя из начального стандартного положения

Определите, в какое слово перерабатывает машина слово ______ (обозревается ячейка ____)

Правило _______ называется правилом

Предваренная нормальная форма для формулы _______ имеет вид

Предикаты _______ и _______ равносильны на множестве.

Приведенная форма для формулы _________ алгебры предикатов имеет вид

Пусть для слов в алфавите _______дана подстановка _______. Ее применение к слову abcddacba дает

С помощью равносильных преобразований формула______ приводится к более простой формуле

Укажите такой порядок формул_______ чтобы из каждой формулы логически следовали все, стоящие после нее

Указать множество, на котором предикаты _______ и _______ равносильны.

Формула _________ является

Формула ______преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу

Чему равно логическое значение последнего из приведенных высказываний?

Чему равно логическое значение высказывания?

Элементарные конъюнкции, входящие в СДНФ функции_______

Промежуточный тест 1. (15 вопросов)

Промежуточный тест 2. (10 вопросов)

Промежуточный тест 3. (15 вопросов)

Промежуточный тест 4. (15 вопросов)

Промежуточный тест 5. (10 вопросов)

Промежуточный тест 6. (15 вопросов)

Промежуточный тест 7. (10 вопросов)

Промежуточный тест 8. (15 вопросов)

Промежуточный тест 9. (15 вопросов)

Промежуточный тест 10. (15 вопросов)

Промежуточный тест 11. (15 вопросов)

Промежуточный тест 12. (13 вопросов)

Промежуточный тест 13. (12 вопросов)

Промежуточный тест 14. (10 вопросов)

Промежуточный тест 15. (15 вопросов)