Boolean calculus

булево исчисление

Англо-русский политехнический словарь