问答题

【计算题】
求下述集合等式成立的充要条件：
（A-C）∪B=A∪B。

答案：

你可能感兴趣的试题

【共用题干题】
给定解释I如下：
（a）个体域D=N（N为自然数）
（b）D中特定元素=2
（c）D上函数（x，y）=x+y，（x，y）=x*y
（d）D上谓词（x，y）：x=y
说明以下公式在I下的含义，并指出各公式的真值

xF（f（x，x），g（x，x））

答案：

x（x+x=x*x）,真值为1

【计算题】
用等值演算法求下面公式的主析取范式：

答案：