Задание 2. Логические алгоритмы обработки информации

 

Задача 1. Пусть высказывание А есть: «Множество А есть совокупность некоторых объектов», высказывание В есть: «Множество А есть подмножество множества В». Тогда какое высказывание будет дизъюнкцией этих высказываний?

Ответ: «Множество А есть совокупность некоторых объектов, или множество А есть подмножество множества В».

 

Задача 2. Пусть есть высказывание А есть: «Множество А есть подмножество множества В», высказывание В есть: «Все элементы множества А являются элементами множества В». Тогда результатом какай операции над высказываниями А и В будет высказывание «Множество А есть подмножество множества В тогда и только тогда, когда все элементы множества А являются элементами множества В»?

Ответ: Результатом эквиваленции высказываний А и В.

 

Задача 3. Заполнить таблицу истинности для сложного высказывания .

A	B	C

Ответ:

 

 

Задача 4. Заполнить таблицу истинности для сложного высказывания .

 

A	B	C	D

Ответ:

 

.

 

Задача 5. Заполнить таблицу истинности для сложного высказывания .

 

A	B	C	D

Ответ:

 

Задача 6. Заполнить таблицу истинности для сложного высказывания .

A	B	C	D

Ответ:

 

 

Задача 7. Какой таблично-заданной функции соответствует формула ?

 

 

A	B	C	F(A, B, C)

 

 

Ответ:

 

Задача 8. Какой таблично-заданной функции соответствует формула

Ответ:

A	B	C	F(A, B, C)

.

Задача 9. Написать ДНФ, соответствующую таблично заданной функции

 

A	B	C	F(A, B, C)

 

Ответ:

 

 

Задача 10. Написать ДНФ, соответствующую таблично заданной функции

 

A	B	C	F(A, B, C)

Ответ:

 

Задача 11. Написать КНФ, соответствующую таблично заданной функции

:

A	B	C	F(A, B, C)

Ответ:

 

Задача 12. Написать КНФ, соответствующую таблично заданной функции

 

A	B	C	F(A, B, C)

 

 

Ответ: