II. Составление таблиц истинности.
Упражнение 1. Из простых высказываний: “Виктор хороший пловец” - А; “Виктор хорошо ныряет” - В; “Виктор хорошо поет” - С, составлено сложное высказывание, формула которого имеет вид: X=(A C) (A B). Установить, эквивалентно ли высказывание Х высказыванию: “Виктор - хороший пловец и Виктор хорошо поет”.
Решение. Y=A C
1 |
2 |
3 |
4 |
5 |
6 |
7 |
А |
В |
С |
A C |
A B |
X |
Y=A C |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Вывод. Высказывание X не эквивалентно высказыванию Y.
Упражнение 2. Установить является ли данное высказывание тавтологией.
A |
B |
A B |
|
|
|
|
|
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
Вывод. Высказывание является тавтологией.
Упражнение 3.Установить истинность высказываний:
а) ((X1 X2) X3) (X3 X1)
|
|
|
F1 |
F2 |
F3 |
|
X1 |
X2 |
X3 |
X1 X2 |
F1 X3 |
X3 X1 |
F2 F3 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Вывод. Высказывание ((X1 X2) X3) (X3 X1) истинно, когда:
1) X1 1; X2 0; X3 0; 2) X1 1; X2 1; X3 1
б) ((X Y) (Y Z)) (X Z)
|
|
|
F1 |
F2 |
F3 |
F4 |
|
X |
Y |
Z |
X Y |
Y Z |
F1 F2 |
X Z |
F3 F4 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Вывод. Высказывание ((X Y) (Y Z)) (X Z) истинно всегда.
Упражнение 4. Для
формулы
придумайте
формализуемое предложение.
Решение. Пусть А – «Петр замечательно играет в шахматы»; В — «Семен играет на баяне»; С — «Галина смотрит телевизор»
Тогда и только тогда если Петр замечательно играет в шахматы, то Семен не играет на баяне, когда Галина смотрит телевизор и Петр замечательно играет в шахматы.