LogicGAN