Computing with Boolean Logic