Английский ⇄ Русский +

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