Boolean circuit design