"3"^^ . . . . . . . "Boolean algebra with restrictions on variables"@en . .