Anglais ⇄ Russe +

clausal logic contraintes
informat.	аппарат логических выражений (Alex Lilo); проф. клаузальная логика (форма логики, при которой все высказывания представляются с помощью логических операторов И, ИЛИ и НЕТ Alex Lilo)