问答题 给出一个非闭式的可满足式，但不是永真式。

问答题 给出一个非闭式的永假式。

问答题 给出一个非闭式的永真式。