Redirecting to Boolean algebra (logic)