Задача Boolean 2-satisifability спрашивает, существует ли решение для данного набора парных ограничений для булевых переменных. 2SAT, как известно, разрешима в полиномиальное время.