Черкасов М.Ю. Проблема Кука - проблема ли?

Международный журнал прикладных и фундаментальных исследований. — 2016. — № 7-1. — С. 131-131. Рассматривается задача Выполнимость, суть которой заключается в поиске значений набора логических переменных, при которых заданное логическое выражение принимает значение Истина или Ложь. Показывается, что нет необходимости рассматривать все возможные варианты. По правилам логики, если выражение содержит только связки Или, то для его истинности достаточно того, если хотя бы одна переменная принимала значение Истина. Если же выражение содержит только связки И, то для его истинности все переменные должны принимать значение Истина.