формула логики высказываний

Terms containing формула логики высказываний | all forms | in specified order only

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