clausal logic

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