SAT approach to study of one particular kind of discrete models of collective behaviour