Исчисление высказываний. Если ослик Иа пойдёт гулять

Введём высказывания:
A = «Ослик Иа пойдёт гулять».
B = «Вини-пух пойдёт гулять».
C = «Ослик Иа потеряет свой хвост».
Есть три высказывания, которые должны быть одновременно истинны, и тогда истинной будет следствие из них . Связка «если … то» характерна для логической операции импликации.
Получаем:
= «Если ослик Иа пойдёт гулять, то он обязательно потеряет хвост».
= «Ослик Иа пойдёт гулять, если Вини-пух пойдёт с ним».
= «Вини-пух решил остаться дома».
= «Ослик Иа не потеряет свой хвост».
Получаем:
.
Проверяем правильность рассуждений, составив таблицу истинности:
A B C
0 0 0 1 1 1 1 1 1
0 0 1 1 0 1 1 1 0
0 1 0 0 1 1 0 0 1
0 1 1 0 0 1 0 0 1
1 0 0 1 1 1 1 1 1
1 0 1 1 0 1 0 0 1
1 1 0 0 1 0 1 0 1
1 1 1 0 0 1 0 0 1