Ответы на тесты / РОСДИСТАНТ / Математическая логика и теория алгоритмов / 240 вопросов / Тесты 1-15 + Итоговый тест

Раздел
Математические дисциплины
Тип
Просмотров
512
Покупок
11
Антиплагиат
Не указан
Размещена
21 Июн 2022 в 22:19
ВУЗ
РОСДИСТАНТ
Курс
Не указан
Стоимость
495 ₽
Демо-файлы   
3
docx
Демо - РОСДИСТАНТ - Математическая логика и теория алгоритмов Демо - РОСДИСТАНТ - Математическая логика и теория алгоритмов
59.2 Кбайт 59.2 Кбайт
jpg
Оценка (1) - РОСДИСТАНТ - Математическая логика и теория алгоритмов Оценка (1) - РОСДИСТАНТ - Математическая логика и теория алгоритмов
169.1 Кбайт 169.1 Кбайт
jpg
Оценка (2) - РОСДИСТАНТ - Математическая логика и теория алгоритмов Оценка (2) - РОСДИСТАНТ - Математическая логика и теория алгоритмов
81.5 Кбайт 81.5 Кбайт
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
Ответы - РОСДИСТАНТ - Математическая логика и теория алгоритмов
17 Мбайт 495 ₽
Описание

В файле собраны ответы к тестам из курса РОСДИСТАНТ / Математическая логика и теория алгоритмов (Тесты 1-15 + Итоговый тест).

Результаты сдачи представлены на скринах.

После покупки Вы получите файл, где будет 240 вопросов с ответами. Верный ответ выделен по тексту.

В демо-файлах представлены скрины с результатами тестирования, а также пример, как выделены ответы.

Все набрано в Word, можно искать с помощью поиска.

Ниже список вопросов, которые представлены в файле.

Также Вы можете заказать решение тестов и других работ у меня на странице по ссылке:

https://studwork.ru/?p=326803

Оглавление

Промежуточный тест 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 заданы предикаты . Какое утверждение является верным?

Выберите один ответ:

 

Первый предикат является следствием второго, а второй – следствием первого

 

Первый предикат является следствием второго, но второй предикат не является следствием первого

 

 

Второй предикат является следствием первого, но первый предикат не является следствием второго

 

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

 

 

 

 

Вам подходит эта работа?
Похожие работы
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:44
12
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:36
12
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:30
11
0 покупок
Математическая логика
Контрольная работа Контрольная
18 Ноя в 00:24
13
0 покупок
Математическая логика
Задача Задача
9 Ноя в 21:49
34
0 покупок
Другие работы автора
Темы журнала
Показать ещё
Прямой эфир