задачи на логику - логическую алгебру Опции

[NightPaladin]

Вот задачи на указанную тему (в приложении)
Заранее благодарю

[Atos]

2. Предположим, что Иванов виновен. Тогда из первого условия получаем, что Сидоров виновен, из второго, что Сидоров не виновен. Противоречие. Значит, Иванов виновен. (на всякий случай ещё можно проверить, не будет ли в этом случае противоречия. Противоречия не будет, например, можно предположить, что Петров и Сидоров виновны)

1. Не очень понятно, что за наборы 0 и 4?

[NightPaladin]

1. Не очень понятно, что за наборы 0 и 4?

Вот в том и проблема, что многим не понятно... а если это условие не учитывать, то как тогда?