Software Implementation (Proteus or circuit verse, TinkerCad) Equations, K maps and Truth table

Design a traffic light system to control the flow of the vehicles. The project aims to implement a 4-way intersection traffic controller. The basic idea behind the design is to avoid the collision of the vehicles by providing appropriate signals to different directions a limited time slot, after which the next waiting driver will be given the same treatment. In this way a cycle will be established which will control the traffic.