Creating and Maximizing Logic Models