Математика 2012-13 Бакалавры / 5_Практикум / ПРАКТИЧЕСКИЕ ЗАДАНИЯ / Математическая логика 1

Типовой расчет

Вариант № 1

1. Равносильными преобразованиями привести следующую формулу алгебры предикатов к предваренной нормальной форме ([4], c. 142).

2. Машина Тьюринга с внешним алфавитом определяется следующей программой ([4], c. 125).

Остановится ли когда-нибудь эта машина, если она начнет перерабатывать данное слово (в начальный момент в состоянии машина «обозревает» ячейку, в которой записана самая левая буква данного слова).

Ответ: Машина остановится; в результате получится исходное слово.

3. Построив таблицы значений, выяснить, равны ли следующие булевы функции:

([4], c. 67).

Ответ: не равны.

Вариант № 2

(Формулировка заданий в этом и последующих вариантах

аналогична таковой в варианте № 1)

1.

2. Данное слов .

Ответ: Машина остановится; получится исходное слово.

3.

Ответ: равны.

Вариант № 3

1.

2. Данное слово

Ответ: Машина неограниченно движется вправо.

3.

Ответ: не равны.

Вариант № 4

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 5

1.

2. Данное слово

3.

Ответ: равны.

Вариант 6

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 7

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 8

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 9

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 10

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 11

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 12

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 13

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 14

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 15

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 16

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 17

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 18

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 19

1.

2. Данное слово

3.

Ответ: равны.

Вариант № 20

1.

2. Данное слово

3. Решить булево уравнение:

Ответ:

Вариант № 21

1.

2. Данное слово

3. Решить булево уравнение:

Ответ:

Вариант № 22

1.

2. Данное слово

3. Решить булево уравнение:

Ответ:

Вариант № 23

1.

2. Данное слово

3. Решить булево уравнение:

Ответ:

Вариант № 24

1.

2. Данное слово

3. Решить булево уравнение:

Ответ:

Вариант № 25

1.

2. Данное слово

3. Решить булево уравнение:

Ответ: