В файле собраны ответы к тестам из курса РОСДИСТАНТ / Математическая логика и теория алгоритмов (Тесты 1-15 + Итоговый тест).
Результаты сдачи представлены на скринах.
После покупки Вы получите файл, где будет 240 вопросов с ответами. Верный ответ выделен по тексту.
В демо-файлах представлены скрины с результатами тестирования, а также пример, как выделены ответы.
Все набрано в Word, можно искать с помощью поиска.
Ниже список вопросов, которые представлены в файле.
Также Вы можете заказать решение тестов и других работ у меня на странице по ссылке:
Промежуточный тест 1
Вопрос 1
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 2
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 3
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 4
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 5
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 6
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 7
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 8
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 9
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 10
Чему равно логическое значение высказывания ?
Вопрос 11
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 12
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 13
Чему равно логическое значение высказывания ?
Вопрос 14
Чему равно логическое значение высказывания ?
Вопрос 15
Чему равно логическое значение последнего из приведенных высказываний?
Промежуточный тест 2
Вопрос 1
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 2
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 3
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 4
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 5
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 6
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Вопрос 7
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 8
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Вопрос 9
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 10
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Промежуточный тест 3
Вопрос 1
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 2
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 3
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 4
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 5
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 6
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 7
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 8
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 9
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 10
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 11
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 12
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 13
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 3, 5, 2, 4
2, 4, 5, 3, 1
4, 5, 3, 2, 1
2, 5, 4, 3, 1
Вопрос 14
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 5, 2, 4, 3
2, 4, 5, 1, 3
1, 3, 5, 4, 2
5, 3, 2, 1, 4
Вопрос 15
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
4, 1, 5, 2, 3
3, 4, 5, 2, 1
1, 3, 4, 5, 2
2, 4, 3, 5, 1
Промежуточный тест 4
Вопрос 1
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 2
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X→¬Y
1
Y˄Z
Вопрос 3
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
P˅¬Q
P˄Q
Вопрос 4
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˅Q
P˄Q
¬P˄¬R
Вопрос 5
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
¬P→Q
P˄Q˄¬R
Вопрос 6
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅Z
1
¬X˅¬Y˅Z
Вопрос 7
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
P˄Q˄¬R
1
¬P→Q
Вопрос 8
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
P˄Q
¬P˅¬Q
Вопрос 9
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
P˄Q˄¬R
¬P→Q
Вопрос 10
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 11
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˅Q
¬P˄¬R
P˄Q
Вопрос 12
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
Y→¬Z
1
¬X˅¬Y˅Z
Вопрос 13
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
P˄Q˄¬R
1
¬P→Q
Вопрос 14
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
¬P˅¬Q
P˄Q
Вопрос 15
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅¬Z
1
¬X˅¬Y
Промежуточный тест 5
Вопрос 1
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 2
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 3
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 4
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 5
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 6
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 7
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 8
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 9
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных.
Укажите эту формулу.
Выберите один ответ:
Вопрос 10
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Промежуточный тест 6
Вопрос 1
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1011 1111 1110 0010), равно
Вопрос 2
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1011 1111 1111 1000), равно
Вопрос 3
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 4
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1101 0101 1101 1111), равно
Вопрос 5
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1101 0101 1101 1111), равно
Вопрос 6
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0111 0001 1111 1101), равно
Вопрос 7
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 8
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (0111 1110 1010 0011), равно
Вопрос 9
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0100 0110 1111 0110), равно
Вопрос 10
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1111 1010 0111 1110), равно
Вопрос 11
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1011 1111 1110 0010), равно
Вопрос 12
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1111 0010 0111 1110), равно
Вопрос 13
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1100 0110 1111 0111), равно
Вопрос 14
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1111 1110 1010 0011), равно
Вопрос 15
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1011 1111 1111 1000), равно
Промежуточный тест 7
Вопрос 1
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1011 0101):
Выберите один или несколько ответов:
Вопрос 2
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0101 1000):
Выберите один или несколько ответов:
Вопрос 3
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1100 0111):
Выберите один или несколько ответов:
z
Вопрос 4
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1110 0111):
Выберите один или несколько ответов:
Вопрос 5
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1000 0110):
Выберите один или несколько ответов:
Вопрос 6
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1001 0100):
Выберите один или несколько ответов:
Вопрос 7
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1001 0111):
Выберите один или несколько ответов:
Вопрос 8
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0110 1011):
Выберите один или несколько ответов:
Вопрос 9
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0111 1001):
Выберите один или несколько ответов:
Вопрос 10
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0101 0110):
Выберите один или несколько ответов:
Промежуточный тест 8
Вопрос 1
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 5 элементов
из 10 элементов
из 9 элементов
Вопрос 2
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 2 элементов
из 4 элементов
из 5 элементов
из 6 элементов
Вопрос 3
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 7 элементов
из 9 элементов
из 5 элементов
Вопрос 4
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 8 элементов
из 9 элементов
из 5 элементов
Вопрос 5
Множество истинности предиката где состоит
Выберите один ответ:
из 5 элементов
из 8 элементов
из 11 элементов
из 15 элементов
Вопрос 6
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 5 элементов
из 4 элементов
из 3 элементов
Вопрос 7
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Вопрос 8
Множество истинности предиката где состоит
Выберите один ответ:
из 5 элементов
из 6 элементов
из 7 элементов
из 8 элементов
из 9 элементов
Вопрос 9
Множество истинности предиката где состоит
Выберите один ответ:
из 1 элемента
из 2 элементов
из 3 элементов
из 4 элементов
из 5 элементов
Вопрос 10
Множество истинности предиката где состоит
Выберите один ответ:
из 14 элементов
из 12 элементов
из 11 элементов
из 15 элементов
Вопрос 11
Множество истинности предиката где состоит
Выберите один ответ:
из 0 элементов
из 1 элемента
из 2 элементов
из 3 элементов
из 4 элементов
Вопрос 12
Множество истинности предиката где состоит
Выберите один ответ:
из 10 элементов
из 9 элементов
из 11 элементов
из 8 элементов
Вопрос 13
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
Вопрос 14
Множество истинности предиката где состоит
Выберите один ответ:
из 0 элементов
из 1 элемента
из 2 элементов
из 4 элементов
из 5 элементов
Вопрос 15
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Промежуточный тест 9
Вопрос 1
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 2
На множестве R заданы предикаты . Какое утверждение является верным? запятая
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 3
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 4
На множестве R заданы предикаты . Какое утверждение является верным? запятая
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 5
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 6
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 7
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 8
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 9
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 10
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 11
На множестве R заданы предикаты “x=3π/2”, “cosx>=1”. Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 12
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 13
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 14
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 15
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Промежуточный тест 10
Вопрос 1
Предикаты «x кратно 4» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{22}
{4; 7}
{4; 5; 7}
{2; 4; 6}
Вопрос 2
Предикаты «x больше 9» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{6}
{10}
{9; 11}
{12}
Вопрос 3
Предикаты «x больше 10» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{12}
{12; 13}
{11}
{10; 16}
Вопрос 4
Предикаты «x больше 11» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{22}
{23}
{22; 23}
{22; 23; 24}
Вопрос 5
Предикаты «x кратно 10» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{26}
{10}
{15}
{19}
Вопрос 6
Предикаты «x кратно 3» и «x – четное число» равносильны на множестве
Выберите один ответ:
{3; 5}
{6; 12}
{3; 4}
{3; 4; 6}
Вопрос 7
Предикаты «x кратно 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{21}
{70}
{21; 70}
{14; 21; 70}
Вопрос 8
Предикаты «x – простое число» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{1}
{2}
{3}
{10}
Вопрос 9
Предикаты «x – составное число» и «x – четное число» равносильны на множестве
Выберите один ответ:
{22}
{1; 3}
{2; 5}
{21}
Вопрос 10
Предикаты «x больше 7» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{14}
{5}
{9}
{3}
Вопрос 11
Указать множество, на котором предикаты «x – составное число» и «x – нечетное число» равносильны.
Выберите один ответ:
Вопрос 12
Предикаты и равносильны на множестве
Выберите один ответ:
действительных чисел
рациональных чисел
отрицательных целых чисел
положительных целых чисел
Вопрос 13
Предикаты «x меньше 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{5}
{5; 6}
{5; 7}
{4}
Вопрос 14
Предикаты «x меньше 2» и «x – четное число» равносильны на множестве
Выберите один ответ:
{2)
{–2}
{1}
{–1}
{0}
Вопрос 15
Предикаты «x кратно 5» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{55}
{45; 47}
{47; 55}
{45; 47; 55}
Промежуточный тест 11
Вопрос 1
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 2
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 3
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 4
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 5
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 6
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 7
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 8
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 9
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 10
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 11
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 12
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 13
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 14
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 15
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Промежуточный тест 12
Вопрос 1
Правило называется правилом
Вопрос 2
Правило называется правилом
Вопрос 3
Правило называется правилом
Вопрос 4
Правило называется правилом
Вопрос 5
Правило называется правилом
Вопрос 6
Правило называется правилом
Вопрос 7
Правило называется правилом
Вопрос 8
Правило называется правилом
Вопрос 9
Правило называется правилом
Вопрос 10
Правило называется правилом
Вопрос 11
Правило называется правилом
Вопрос 12
Правило называется правилом
Вопрос 13
Правило называется правилом
Промежуточный тест 13
Вопрос 1
Определите, в какое слово перерабатывает машина слово 1111111, исходя из начального стандартного положения.
Выберите один ответ:
1
Вопрос 2
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4, считая слева).
Выберите один ответ:
Вопрос 3
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4).
Выберите один ответ:
Вопрос 4
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 3).
Выберите один ответ:
Вопрос 5
Определите, в какое слово перерабатывает машина слово 111111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 6
Определите, в какое слово перерабатывает машина слово 1111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 7
Определите, в какое слово перерабатывает машина слово 111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 8
Определите, в какое слово перерабатывает машина слово 1111111 (обозревается ячейка 4).
Выберите один ответ:
Вопрос 9
Определите, в какое слово перерабатывает машина слово 11111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 10
Определите, в какое слово перерабатывает машина слово 11111 (обозревается ячейка 5).
Выберите один ответ:
Вопрос 11
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 3).
Выберите один ответ:
Вопрос 12
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 2).
Выберите один ответ:
Промежуточный тест 14
Вопрос 1
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 2
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 3
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 4
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 5
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 6
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 7
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 8
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 9
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 10
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Промежуточный тест 15
Вопрос 1
Нормальный алгоритм в алфавите задается схемой . Применение его к слову baaab1a дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 2
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 11aab дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 3
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aabb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 4
Нормальный алгоритм в алфавите задается схемой . Применение его к слову abbba дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 5
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 111aab1 дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 6
Нормальный алгоритм в алфавите задается схемой . Применение его к слову bbbb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 7
Нормальный алгоритм в алфавите задается схемой: . Какое слово получится в результате применения этого алгоритма к слову aabbaab?
Выберите один ответ:
ʌ
Алгоритм неприменим
a
aa
aaa
b
Вопрос 8
Нормальный алгоритм в алфавите задается схемой .
Какое слово получится в результате применения этого алгоритма к слову bbbb?
Выберите один ответ:
ʌ
Алгоритм неприменим
a
aa
aaa
Вопрос 9
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aabbb11 дает слово
Выберите один ответ:
ʌ
1
11
1111
Вопрос 10
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aaa дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 11
Нормальный алгоритм в алфавите задается схемой . Применение его к слову abaabbb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 12
Нормальный алгоритм в алфавите задается схемой . Применение его к слову ababaa дает слово
Выберите один ответ:
ʌ
1
111
1111
Вопрос 13
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову abaabb?
Выберите один ответ:
ʌ
a
aa
aaa
Алгоритм неприменим
Вопрос 14
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову babaaa?
Выберите один ответ:
ʌ
a
aa
aaa
b
Алгоритм неприменим
Вопрос 15
Нормальный алгоритм в алфавите задается схемой . Применение его к слову bababbaa дает слово
Выберите один ответ:
ʌ
1
11
111
Итоговый тест
Вопрос 1
Множество истинности предиката где состоит
Выберите один ответ:
из 14 элементов
из 12 элементов
из 11 элементов
из 15 элементов
Вопрос 2
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 5, 2, 4, 3
2, 4, 5, 1, 3
1, 3, 5, 4, 2
5, 3, 2, 1, 4
Вопрос 3
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1011 0101):
Выберите один или несколько ответов:
Вопрос 4
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X→¬Y
1
Y˄Z
Вопрос 5
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 6
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 7
Предикаты «x больше 9» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{6}
{10}
{9; 11}
{12}
Вопрос 8
Множество истинности предиката где состоит
Выберите один ответ:
из 10 элементов
из 9 элементов
из 11 элементов
из 8 элементов
Вопрос 9
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 10
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
¬P→Q
P˄Q˄¬R
Вопрос 11
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 12
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 13
Правило называется правилом
Вопрос 14
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 15
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 11aab дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 16
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 17
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 18
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову abaabb?
Выберите один ответ:
ʌ
a
aa
aaa
Алгоритм неприменим
Вопрос 19
Чему равно логическое значение высказывания ?
Вопрос 20
На множестве R заданы предикаты “x=3π/2”, “cosx>=1”. Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 21
Нормальный алгоритм в алфавите задается схемой . Применение его к слову ababaa дает слово
Выберите один ответ:
ʌ
1
111
1111
Вопрос 22
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 23
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Вопрос 24
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 25
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 26
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅Z
1
¬X˅¬Y˅Z
Вопрос 27
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 28
Правило называется правилом
Вопрос 29
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 5 элементов
из 10 элементов
из 9 элементов
Вопрос 30
Предикаты «x кратно 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{21}
{70}
{21; 70}
{14; 21; 70}
Вопрос 31
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4).
Выберите один ответ:
1111111
Вопрос 32
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 33
Правило называется правилом
Вопрос 34
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 35
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 36
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0100 0110 1111 0110), равно
Вопрос 37
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 38
Предикаты «x меньше 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{5}
{5; 6}
{5; 7}
{4}
Вопрос 39
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 5 элементов
из 4 элементов
из 3 элементов
Вопрос 40
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Промежуточный тест 1
Вопрос 1
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 2
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 3
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 4
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 5
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 6
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 7
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 8
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 9
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 10
Чему равно логическое значение высказывания ?
Вопрос 11
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 12
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 13
Чему равно логическое значение высказывания ?
Вопрос 14
Чему равно логическое значение высказывания ?
Вопрос 15
Чему равно логическое значение последнего из приведенных высказываний?
Промежуточный тест 2
Вопрос 1
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 2
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 3
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 4
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 5
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 6
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Вопрос 7
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 8
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Вопрос 9
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 10
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно ложной
тождественно истинной
Промежуточный тест 3
Вопрос 1
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 2
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 3
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 4
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 5
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 6
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 7
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 8
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 9
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 10
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 11
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 12
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 13
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 3, 5, 2, 4
2, 4, 5, 3, 1
4, 5, 3, 2, 1
2, 5, 4, 3, 1
Вопрос 14
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 5, 2, 4, 3
2, 4, 5, 1, 3
1, 3, 5, 4, 2
5, 3, 2, 1, 4
Вопрос 15
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
4, 1, 5, 2, 3
3, 4, 5, 2, 1
1, 3, 4, 5, 2
2, 4, 3, 5, 1
Промежуточный тест 4
Вопрос 1
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 2
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X→¬Y
1
Y˄Z
Вопрос 3
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
P˅¬Q
P˄Q
Вопрос 4
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˅Q
P˄Q
¬P˄¬R
Вопрос 5
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
¬P→Q
P˄Q˄¬R
Вопрос 6
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅Z
1
¬X˅¬Y˅Z
Вопрос 7
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
P˄Q˄¬R
1
¬P→Q
Вопрос 8
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
P˄Q
¬P˅¬Q
Вопрос 9
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
P˄Q˄¬R
¬P→Q
Вопрос 10
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 11
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˅Q
¬P˄¬R
P˄Q
Вопрос 12
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
Y→¬Z
1
¬X˅¬Y˅Z
Вопрос 13
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
P˄Q˄¬R
1
¬P→Q
Вопрос 14
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P→¬Q
1
¬P˅¬Q
P˄Q
Вопрос 15
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅¬Z
1
¬X˅¬Y
Промежуточный тест 5
Вопрос 1
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 2
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 3
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 4
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 5
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 6
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 7
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 8
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Вопрос 9
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных.
Укажите эту формулу.
Выберите один ответ:
Вопрос 10
Формула преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу.
Выберите один ответ:
Промежуточный тест 6
Вопрос 1
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1011 1111 1110 0010), равно
Вопрос 2
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1011 1111 1111 1000), равно
Вопрос 3
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 4
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1101 0101 1101 1111), равно
Вопрос 5
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1101 0101 1101 1111), равно
Вопрос 6
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0111 0001 1111 1101), равно
Вопрос 7
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 8
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (0111 1110 1010 0011), равно
Вопрос 9
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0100 0110 1111 0110), равно
Вопрос 10
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1111 1010 0111 1110), равно
Вопрос 11
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1011 1111 1110 0010), равно
Вопрос 12
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1111 0010 0111 1110), равно
Вопрос 13
Количество элементарных конъюнкций, входящих в СДНФ функции f (x, y, z, t) = (1100 0110 1111 0111), равно
Вопрос 14
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1111 1110 1010 0011), равно
Вопрос 15
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1011 1111 1111 1000), равно
Промежуточный тест 7
Вопрос 1
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1011 0101):
Выберите один или несколько ответов:
Вопрос 2
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0101 1000):
Выберите один или несколько ответов:
Вопрос 3
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1100 0111):
Выберите один или несколько ответов:
z
Вопрос 4
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1110 0111):
Выберите один или несколько ответов:
Вопрос 5
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1000 0110):
Выберите один или несколько ответов:
Вопрос 6
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1001 0100):
Выберите один или несколько ответов:
Вопрос 7
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1001 0111):
Выберите один или несколько ответов:
Вопрос 8
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0110 1011):
Выберите один или несколько ответов:
Вопрос 9
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0111 1001):
Выберите один или несколько ответов:
Вопрос 10
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (0101 0110):
Выберите один или несколько ответов:
Промежуточный тест 8
Вопрос 1
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 5 элементов
из 10 элементов
из 9 элементов
Вопрос 2
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 2 элементов
из 4 элементов
из 5 элементов
из 6 элементов
Вопрос 3
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 7 элементов
из 9 элементов
из 5 элементов
Вопрос 4
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 8 элементов
из 9 элементов
из 5 элементов
Вопрос 5
Множество истинности предиката где состоит
Выберите один ответ:
из 5 элементов
из 8 элементов
из 11 элементов
из 15 элементов
Вопрос 6
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 5 элементов
из 4 элементов
из 3 элементов
Вопрос 7
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Вопрос 8
Множество истинности предиката где состоит
Выберите один ответ:
из 5 элементов
из 6 элементов
из 7 элементов
из 8 элементов
из 9 элементов
Вопрос 9
Множество истинности предиката где состоит
Выберите один ответ:
из 1 элемента
из 2 элементов
из 3 элементов
из 4 элементов
из 5 элементов
Вопрос 10
Множество истинности предиката где состоит
Выберите один ответ:
из 14 элементов
из 12 элементов
из 11 элементов
из 15 элементов
Вопрос 11
Множество истинности предиката где состоит
Выберите один ответ:
из 0 элементов
из 1 элемента
из 2 элементов
из 3 элементов
из 4 элементов
Вопрос 12
Множество истинности предиката где состоит
Выберите один ответ:
из 10 элементов
из 9 элементов
из 11 элементов
из 8 элементов
Вопрос 13
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
Вопрос 14
Множество истинности предиката где состоит
Выберите один ответ:
из 0 элементов
из 1 элемента
из 2 элементов
из 4 элементов
из 5 элементов
Вопрос 15
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Промежуточный тест 9
Вопрос 1
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 2
На множестве R заданы предикаты . Какое утверждение является верным? запятая
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 3
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 4
На множестве R заданы предикаты . Какое утверждение является верным? запятая
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 5
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 6
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 7
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 8
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 9
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 10
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 11
На множестве R заданы предикаты “x=3π/2”, “cosx>=1”. Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 12
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 13
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 14
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 15
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Промежуточный тест 10
Вопрос 1
Предикаты «x кратно 4» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{22}
{4; 7}
{4; 5; 7}
{2; 4; 6}
Вопрос 2
Предикаты «x больше 9» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{6}
{10}
{9; 11}
{12}
Вопрос 3
Предикаты «x больше 10» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{12}
{12; 13}
{11}
{10; 16}
Вопрос 4
Предикаты «x больше 11» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{22}
{23}
{22; 23}
{22; 23; 24}
Вопрос 5
Предикаты «x кратно 10» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{26}
{10}
{15}
{19}
Вопрос 6
Предикаты «x кратно 3» и «x – четное число» равносильны на множестве
Выберите один ответ:
{3; 5}
{6; 12}
{3; 4}
{3; 4; 6}
Вопрос 7
Предикаты «x кратно 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{21}
{70}
{21; 70}
{14; 21; 70}
Вопрос 8
Предикаты «x – простое число» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{1}
{2}
{3}
{10}
Вопрос 9
Предикаты «x – составное число» и «x – четное число» равносильны на множестве
Выберите один ответ:
{22}
{1; 3}
{2; 5}
{21}
Вопрос 10
Предикаты «x больше 7» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{14}
{5}
{9}
{3}
Вопрос 11
Указать множество, на котором предикаты «x – составное число» и «x – нечетное число» равносильны.
Выберите один ответ:
Вопрос 12
Предикаты и равносильны на множестве
Выберите один ответ:
действительных чисел
рациональных чисел
отрицательных целых чисел
положительных целых чисел
Вопрос 13
Предикаты «x меньше 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{5}
{5; 6}
{5; 7}
{4}
Вопрос 14
Предикаты «x меньше 2» и «x – четное число» равносильны на множестве
Выберите один ответ:
{2)
{–2}
{1}
{–1}
{0}
Вопрос 15
Предикаты «x кратно 5» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{55}
{45; 47}
{47; 55}
{45; 47; 55}
Промежуточный тест 11
Вопрос 1
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 2
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 3
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 4
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 5
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 6
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 7
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 8
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 9
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 10
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 11
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 12
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 13
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 14
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 15
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Промежуточный тест 12
Вопрос 1
Правило называется правилом
Вопрос 2
Правило называется правилом
Вопрос 3
Правило называется правилом
Вопрос 4
Правило называется правилом
Вопрос 5
Правило называется правилом
Вопрос 6
Правило называется правилом
Вопрос 7
Правило называется правилом
Вопрос 8
Правило называется правилом
Вопрос 9
Правило называется правилом
Вопрос 10
Правило называется правилом
Вопрос 11
Правило называется правилом
Вопрос 12
Правило называется правилом
Вопрос 13
Правило называется правилом
Промежуточный тест 13
Вопрос 1
Определите, в какое слово перерабатывает машина слово 1111111, исходя из начального стандартного положения.
Выберите один ответ:
1
Вопрос 2
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4, считая слева).
Выберите один ответ:
Вопрос 3
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4).
Выберите один ответ:
Вопрос 4
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 3).
Выберите один ответ:
Вопрос 5
Определите, в какое слово перерабатывает машина слово 111111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 6
Определите, в какое слово перерабатывает машина слово 1111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 7
Определите, в какое слово перерабатывает машина слово 111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 8
Определите, в какое слово перерабатывает машина слово 1111111 (обозревается ячейка 4).
Выберите один ответ:
Вопрос 9
Определите, в какое слово перерабатывает машина слово 11111, исходя из начального стандартного положения.
Выберите один ответ:
Вопрос 10
Определите, в какое слово перерабатывает машина слово 11111 (обозревается ячейка 5).
Выберите один ответ:
Вопрос 11
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 3).
Выберите один ответ:
Вопрос 12
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 2).
Выберите один ответ:
Промежуточный тест 14
Вопрос 1
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 2
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 3
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 4
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 5
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 6
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 7
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 8
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 9
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 10
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Промежуточный тест 15
Вопрос 1
Нормальный алгоритм в алфавите задается схемой . Применение его к слову baaab1a дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 2
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 11aab дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 3
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aabb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 4
Нормальный алгоритм в алфавите задается схемой . Применение его к слову abbba дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 5
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 111aab1 дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 6
Нормальный алгоритм в алфавите задается схемой . Применение его к слову bbbb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 7
Нормальный алгоритм в алфавите задается схемой: . Какое слово получится в результате применения этого алгоритма к слову aabbaab?
Выберите один ответ:
ʌ
Алгоритм неприменим
a
aa
aaa
b
Вопрос 8
Нормальный алгоритм в алфавите задается схемой .
Какое слово получится в результате применения этого алгоритма к слову bbbb?
Выберите один ответ:
ʌ
Алгоритм неприменим
a
aa
aaa
Вопрос 9
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aabbb11 дает слово
Выберите один ответ:
ʌ
1
11
1111
Вопрос 10
Нормальный алгоритм в алфавите задается схемой . Применение его к слову aaa дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 11
Нормальный алгоритм в алфавите задается схемой . Применение его к слову abaabbb дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 12
Нормальный алгоритм в алфавите задается схемой . Применение его к слову ababaa дает слово
Выберите один ответ:
ʌ
1
111
1111
Вопрос 13
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову abaabb?
Выберите один ответ:
ʌ
a
aa
aaa
Алгоритм неприменим
Вопрос 14
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову babaaa?
Выберите один ответ:
ʌ
a
aa
aaa
b
Алгоритм неприменим
Вопрос 15
Нормальный алгоритм в алфавите задается схемой . Применение его к слову bababbaa дает слово
Выберите один ответ:
ʌ
1
11
111
Итоговый тест
Вопрос 1
Множество истинности предиката где состоит
Выберите один ответ:
из 14 элементов
из 12 элементов
из 11 элементов
из 15 элементов
Вопрос 2
Укажите такой порядок формул
, , , , , чтобы из каждой формулы логически следовали все, стоящие после нее.
Выберите один ответ:
1, 5, 2, 4, 3
2, 4, 5, 1, 3
1, 3, 5, 4, 2
5, 3, 2, 1, 4
Вопрос 3
Элементарные конъюнкции, входящие в СДНФ функции f (x, y, z) = (1011 0101):
Выберите один или несколько ответов:
Вопрос 4
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X→¬Y
1
Y˄Z
Вопрос 5
Чему равно логическое значение последнего из приведенных высказываний?
Вопрос 6
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 7
Предикаты «x больше 9» и «x – нечетное число» равносильны на множестве
Выберите один ответ:
{6}
{10}
{9; 11}
{12}
Вопрос 8
Множество истинности предиката где состоит
Выберите один ответ:
из 10 элементов
из 9 элементов
из 11 элементов
из 8 элементов
Вопрос 9
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 10
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
P˅(Q˄R)
1
¬P→Q
P˄Q˄¬R
Вопрос 11
Формула является
Выберите один ответ:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 12
Приведенная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 13
Правило называется правилом
Вопрос 14
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 15
Нормальный алгоритм в алфавите задается схемой . Применение его к слову 11aab дает слово
Выберите один ответ:
ʌ
1
11
111
Вопрос 16
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
1
P˄Q
P˅Q
¬P˄¬R
Вопрос 17
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 18
Нормальный алгоритм в алфавите задается схемой . Какое слово получится в результате применения этого алгоритма к слову abaabb?
Выберите один ответ:
ʌ
a
aa
aaa
Алгоритм неприменим
Вопрос 19
Чему равно логическое значение высказывания ?
Вопрос 20
На множестве R заданы предикаты “x=3π/2”, “cosx>=1”. Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 21
Нормальный алгоритм в алфавите задается схемой . Применение его к слову ababaa дает слово
Выберите один ответ:
ʌ
1
111
1111
Вопрос 22
Для формул выясните, будет ли какая-либо из них логическим следствием другой.
Выберите один ответ:
Нет
Первая следует из второй
Вторая следует из первой
Они эквивалентны
Вопрос 23
Множество истинности предиката где состоит
Выберите один ответ:
из 3 элементов
из 4 элементов
из 5 элементов
из 6 элементов
из 7 элементов
Вопрос 24
Предваренная нормальная форма для формулы алгебры предикатов имеет вид:
Выберите один ответ:
Вопрос 25
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 26
С помощью равносильных преобразований формула приводится к более простой формуле:
Выберите один ответ:
0
X˅Y˅Z
1
¬X˅¬Y˅Z
Вопрос 27
Пусть для слов в алфавите дана подстановка . Ее применение к слову abcddacba дает
Вопрос 28
Правило называется правилом
Вопрос 29
Множество истинности предиката где состоит
Выберите один ответ:
из 8 элементов
из 6 элементов
из 5 элементов
из 10 элементов
из 9 элементов
Вопрос 30
Предикаты «x кратно 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{21}
{70}
{21; 70}
{14; 21; 70}
Вопрос 31
Определите, в какое слово перерабатывает машина слово (обозревается ячейка 4).
Выберите один ответ:
1111111
Вопрос 32
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (1100 1110 1111 1011), равно
Вопрос 33
Правило называется правилом
Вопрос 34
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого
Вопрос 35
Формула является
Выберите один или несколько ответов:
выполнимой
опровержимой
тождественно истинной
тождественно ложной
Вопрос 36
Количество элементарных дизъюнкций, входящих в СКНФ функции f (x, y, z, t) = (0100 0110 1111 0110), равно
Вопрос 37
Предваренная нормальная форма для формулы имеет вид:
Выберите один ответ:
Вопрос 38
Предикаты «x меньше 7» и «x – четное число» равносильны на множестве
Выберите один ответ:
{5}
{5; 6}
{5; 7}
{4}
Вопрос 39
Множество истинности предиката где состоит
Выберите один ответ:
из 7 элементов
из 6 элементов
из 5 элементов
из 4 элементов
из 3 элементов
Вопрос 40
На множестве R заданы предикаты . Какое утверждение является верным?
Выберите один ответ:
Первый предикат является следствием второго, а второй – следствием первого
Первый предикат является следствием второго, но второй предикат не является следствием первого
Второй предикат является следствием первого, но первый предикат не является следствием второго
Ни один из предикатов не является следствием другого