表达式G是不可满足的,当且仅当对所有的解释()。A.G为真B.G为假C.G为非永真D.以上都不对

第1题：

写一个表达式，当且仅当整型变量x大于y的时候，表达式为真。

第2题：

if （表达式） 语句； 当且仅当表达式为1时，条件为真，执行语句。

第3题：

连通图G是一棵树当且仅当G中有些边是割边。（）

第4题：

f（n)=θ（g（n)) 当且仅当 g（n)=θ（f（n))

第5题：

写一个表达式，当且仅当布尔型变量a为假时表达式为真。