Terms containing propositional form

Subject	English	Russian
AI.	backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
math.	propositional form	пропозициональная форма
progr.	transforming english to propositional form	перевод с естественного языка на язык высказываний (ssn)