计算题

写出下列命题公式的对偶式：
p→（（q→r）∧（p∧¬q））

写出下列命题公式的对偶式：（p↑q）→r

问答题写出下列命题公式的对偶式：（p↑q）→r

x2+y2不能定义实数集合的（），但定义了一个实数集合上的（）

填空题x²+y²不能定义实数集合的（），但定义了一个实数集合上的（）

写出下列命题公式的对偶式：（p∧q）↓r

问答题写出下列命题公式的对偶式：（p∧q）↓r