Сколько существует решений (A->B) (B->C) (C->D)
Таблица истинности дает 5 единиц и 11 нулей. См. приложения.