A . {t|R（t）∨┐s（t）}
B . {t|R（t）∧┐S（t）}
C . {t|（u）R（t∨┐S（u））
D . {t|（u）R（t）∧┐S（u）}