Олимпиадный тренинг

Задача . кп02-277


Задача

Темы:

(Е. Джобс) Логическая функция F задаётся выражением

(a → b) (b → ¬c) (¬c → d)

На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c, d.

? ? ? ? F
1       1
1   1   1
1   1 1 1

В ответе напишите буквы a, b, c, d в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.


time 500 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя