text: Экземпляр задачи 2-выполнимости, то есть, булевское выражение в конъюнктивной нормальной форме с двумя переменными или отрицанием переменных, может быть преобразовано в граф вывода путём замены каждого выражения u ∨ v {\displaystyle \scriptstyle u\lor v} двумя импликациями ( ¬ u ) ⇒ v {\displaystyle \scriptstyle (\lnot u)\Rightarrow v} и ( ¬ v ) ⇒ u {\displaystyle \scriptstyle (\lnot v)\Rightarrow u} .