Boolean derivative