图9.5.3为一开关电路，试写出F(电灯)的逻辑函数式。