问答题 给出一个非闭式的可满足式,但不是永真式.
【正确答案】F(x,y)→G(x,y)是非闭式,它是可满足式,但不是永真式.
【答案解析】