Logic gene network design