1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждений, составив таблицу истинности
Хомяк добрый, если хозяин его вкусно кормит. Хомяка вкусно кормят, только если у хозяина есть деньги. У хозяина нет финансовых проблем. Значит хомяк добрый
Answers & Comments
Verified answer
Відповідь:
( В -> С ) & ( В -> А ) & А ≡ С
Пояснення:
А - у хозяина есть деньги.
В - хомяка вкусно кормят.
С - хомяк добрый.
( В -> С ) & ( В -> А ) & А ≡ С
(В->С) (В->А) А С
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) у хозяина нет финансовых проблем.