Explanation of a simple traffic light circuit wit the help of algorithms of Discrete Mathematics