algebra of boolean logic 471171