Дискретная математика. Элементы теории, задачи и упражнения. Часть 2. Булгакова И.Н. - 12 стр.

UptoLike

Составители: 

12
2. Используя основные равносильности, доказать равносильность формул
U и B, когда:
1)
z
x
xy
z
x
U
Ú
Ú
=
;
xy
z
B
=
;
2)
(
)
(
)
(
)
yxyxyxU
«
Å
®
®
=
;
x
y
y
x
B
Ú
=
;
3)
(
)
(
)
(
)
zyyxxyxU
®
®
®
®
=
;
(
)
zxyB
®
®
=
;
4)
(
)
(
)
zxzy|xU
®
Ú
®
=
;
(
)
zyxB
Ú
®
=
;
5)
(
)
(
)
zxxyzU «¯Ú= ;
1
Å
Å
=
yz
xyz
B
;
6)
(
)
(
)
xyz|zyxU
«
Ú
=
;
1
Å
=
xyz
B
.
3. Выразить все основные операции:
1) через дизъюнкцию, конъюнкцию и отрицание;
2) через конъюнкцию и отрицание;
3) через дизъюнкцию и отрицание;
4) через импликацию и отрицание.
4. a) Выразить отрицание импликации через основные операции так,
чтобы отрицания стояли только над простыми высказываниями.
b) Выразить операцию дизъюнкция через импликацию.
5. Доказать, что операция отрицания не может быть выражена через ос-
новные операции (бинарные) над высказываниями.
6. Мальчик решил в воскресенье закончить чтение книги, сходить в музей
или в кино, а если будет хорошая погода пойти на реку выкупаться.
В каком случае можно сказать, что решение мальчика не выполнено?
В ответе отрицания должны содержаться лишь в простых высказываниях.
4.3 Решение логических задач с помощью алгебры высказываний
Условие логической задачи записываем в виде формулы алгебры вы-
сказываний, вводя соответствующие обозначения для простых высказыва-
ний, сформулированных в задаче. Далее с помощью равносильных преоб-
разований упрощаем формулу (составное высказывание). В результате по-
лучаем более простую словесную формулировку упрощенной формулы, на
основании которой даем ответ на вопрос задачи.
Пример 1. На вопрос: «Кто из трех студентов готовился к экзаме-
ну?» получен верный ответ «Если готовился Иванов, то готовился и Си-
доров, но неверно, что если готовился Петров, то готовился и Сидоров».
Кто готовился к экзамену?