A Mixed Logical Dynamical Model of the Hegselmann–Krause Opinion Dynamics