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

Франция выйдет на чемпионат мира по футболу, только если Германия не попадет на чемпионат мира. Бразилия выйдет на чемпионат мира, если Франция не попадет на чемпионат мира. Бразилия не попала на чемпионат мира. Значит, Германия не выйдет на чемпионат мира по футболу.

191

291

Посмотреть ответы 1

Ответы на вопрос:

АлинаКравченко

Информатика

4,8(30 оценок)

Відповідь:

10111001 - 185

0,1110101 - 0.9140625

11011011 - 219

Пояснення:

1) $10111001 = 2^{7} *1 + 2^{6}*0 + 2^{5}*1 + 2^{4}*1 + 2^{3}*1 + 2^{2}*0 + 2^{1}*0 + 2^{0}*1 = 128 + 0 + 32 + 16 + 8 + 0 + 0 + 1 = 185$

2) 0,1110101

$1110101 = 2^{-1} *1 + 2^{-2}*1 + 2^{-3}*1 + 2^{-4}*0 + 2^{-5}*1 + 2^{-6}*0 + 2^{-7}*1 = 0.9140625$

3) $11011011 = 1*2^{7}+1*2^{6}+0*2^{5}+1*2^{4}+1*2^{3}+0*2^{2}+1*2^{1}+1*2^{0} = 128+64+0+16+8+0+2+1 = 219$

150 000+ пользователей

Оформить подписку