Entropy-based Logic Explanations of Neural Networks