Machine Learning Logic Circuits