Terms containing conjunctive normal form

Subject	English	Russian
AI.	backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
logic	be in conjunctive normal form	находиться в конъюнктивной нормальной форме (Alex_Odeychuk)
math.	canonical conjunctive normal form	ККНФ (ssn)
math.	canonical conjunctive normal form	каноническая конъюнктивная нормальная форма (ssn)
logic	conjunctive normal form	конъюнктивная нормальная форма
progr.	conjunctive normal form	конъюнктивная нормальная форма (ssn)
IT	conjunctive normal form	КНФ
progr.	conjunctive normal form	КНФ (ssn)
Makarov.	conjunctive normal form	нормальная конъюнктивная форма
IT	full conjunctive normal form	совершенная конъюнктивная нормальная форма
math.	full conjunctive normal form	СКНФ (ssn)
logic	in conjunctive normal form	в конъюнктивной нормальной форме (Alex_Odeychuk)
logic	N full conjunctive normal form	совершенная конъюнктивная нормальная форма
math.	perfect conjunctive normal form	СКНФ (ssn)
math.	perfect conjunctive normal form	совершенная конъюнктивная нормальная форма (ssn)