Условие задачи
По каналу могут передаваться три сообщения: A, B, C.
Известно, что к данному моменту времени осуществилось каждое из событий:
1.Передано не более, чем одно из сообщений A и B
2.Сообщение A могло быть передано в том и только в том случае, если были переданы сообщения B и C
3.Передано хотя бы одно сообщение A и C
Вытекает ли отсюда, что B не передавалось, а C было передано?
Ответ
Сопоставим сообщениям A, В и С булевы переменные х, у и z. Будем считать, что переменная равна единице тогда и только тогда, когда соответствующе ей сообщение было передано по каналу связи.
Тогда первому событию соответствует следующая булева функция: . Второму событию: . Третьему: .