设计一个交通灯故障检测电路，要求红、黄、绿三个灯仅有一个灯亮时，输出F=0;若无灯亮或有两个以上的灯亮，则均为故障，输出F=1。试用最少的非门和与非门实现该电路。要求列出真值表，化简逻辑函数，并指出所用74系列器件的型号。