Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing propositional formula | all forms | in specified order only
SubjectEnglishRussian
AI.backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal formалгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
math.expression, constructed in analogy with a propositional formulaвыражение, построенное по типу пропозициональной формулы (ssn)
progr.inconsistent propositional formulaпротиворечивая формула высказываний (ssn)
progr.propositional formulaформула высказываний (ssn)
math.propositional formulaпропозициональная формула
AI.propositional logic formulaформула логики высказываний (Alex_Odeychuk)
progr.valid propositional formulaобщезначимая формула высказываний (ssn)
progr.well-formed propositional formulaправильная формула высказываний (ssn)

Get short URL