2．设某教室有三组日光灯开关的初始状态分别为“关、开、关”，问连按三次后是否会出现“开、开、开”或“关、关、关”的状态？若出现，则给出其相应的状态并画出状态空间图（要求每次必须按下一个开关，而且只能按一个开关）。

3． 求出下述等式的数字解并给出其相应的推理树：
C R O S S
+ R O A D S
                                D A N G E R

4.请证明，G是否为F1，F2….的逻辑结论。
F1： x(P(x)→(Q(x)∧R(x)))
F2： X(P(x)∧R(x))
G： X(S(x)∧R(x)

5.试根据下列程序写出将字符串“TEN  PI”改写成竖写的“IP  NET”（即每个字母占一行）的PROLOG程序
程序1：  print([ ])：—nl．
print([H︱T])：—write(H)，print(T)．
和程序2： reverse([ ]，[ ])．
reverse([H︱T]，L)：—reverse(T，L1)，append(L1，[H]，L)．