标签：绿G三色交通灯，同一时刻只允许亮一种颜色，用真值表表示交通灯工作状态，灯亮用“”表示，等灭用“”表示