| In electrical engineering, Prihar (1956) uses cliques to analyze communications networks, and Paull & Unger (1959) use them to design efficient circuits for computing partially specified Boolean functions. | В электротехнике Прихар использовал клики для анализа коммуникационных сетей, а Паул и Унгер использовали их для разработки эффективных схем для вычисления частично определённых булевских функций. |
| A 2-satisfiability instance consists of a collection of Boolean variables and a collection of clauses, constraints on certain pairs of variables requiring those two variables to avoid certain combinations of values. | Экземпляр 2-выполнимости состоит из набора булевских переменных и коллекции утверждений, ограничений на некоторых парах переменных, чтобы избежать некоторых комбинаций значений. |
| Note that boolean variables usually end in a?, and that they are seperate from variables of the same name without the question mark. | Заметим что имена булевских переменных обычно заканчиваются символом?, и это отличает их от переменных не булевского типа с тем же именем. |