LogicGAN: Logic-guided Generative Adversarial Networks