Logic Synthesis for Genetic Diseases