编程时的系统建模是很多工程师感到不好入手的地方，通常都是直接从满足工艺逻辑要求开始构思，通过调试和测试不断修改逻辑里的BUG。这样的程序经过层层补丁后往往难以维护和再利用，大一点或复杂点的程序甚至难以为继。而以数学模型的方式来考虑工艺逻辑，可以很好的解决问题。

以前ZANE侠给大伙出个好题，很受同行欢迎，现响应支持。考题如下：

现有一地下停车库，进出车道是很长看不到头的单车道，仅容一辆车上或下行。地面和地下车道出入口各设有1个地感线圈用以感知车辆的通过。地上地下分别设红绿交通灯。假设：
I0：地上出入口的地感信号；
I1：地下出入口的地感信号；
I2：系统异常复位；
Q0:地上绿灯；
Q1:地上红灯；
Q2:地下绿灯；
Q3:地下红灯；
现求解最简程序逻辑，入选答案封精鼓励。