Question

1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждений, составив таблицу истинности

Хомяк добрый, если хозяин его вкусно кормит. Хомяка вкусно кормят, только если у хозяина есть деньги. У хозяина нет финансовых проблем. Значит хомяк добрый

Answer 1

Відповідь:

( В -> С ) & ( В -> А ) & А ≡ С

Пояснення:

А - у хозяина есть деньги.

В - хомяка вкусно кормят.

С - хомяк добрый.

( В -> С ) & ( В -> А ) & А ≡ С

(В->С) (В->А)    А  С

   0          0      0   0

   0          0      1    0

   0          1       0   0

   0          1       1    0

   1          0      0    0

   1          0      1     0

   1          1       0    0

   1          1       1     1

Хомяк добрый, если выполняются все условия: 1) хозяин хомяка вкусно кормит, 2) у хозяина есть деньги, 3) у хозяина нет финансовых проблем.