Network science on belief system dynamics under logic constraints