问答题
给出一个非闭式的可满足式，但不是永真式。
问答题 给出一个非闭式的永假式。
问答题 给出一个非闭式的永真式。
问答题 说明以下公式既不是永真式也不是矛盾式： x（F（x）→y（G（y）∧H（x，y）））
