язык булевых операторов

Boolean (algebra)-based language