i need implementation of the truth table, k map, equations, proteus design of the logic circuit, tinker-cad of the following project:

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.

Required arithmetic operations are Addition and subtraction. On the other hand, required logical operations are: AND, OR and NOT only (Bitwise operation).

Notes;

1-) without using arduino