下列前提下结论是否有效？今天或者天晴或者下雨。如果天晴，我去看电影；若我去看电影，我就不看书。故我在看书时，说明今天下雨。

设G=（a）为12阶循环群，则G没有（）阶子群。

设＜G，*＞是群，若G中除幺元以外，每个元素的周期都是2，则下列叙述中不正确的是（）。

从无向完全图K5中至少删除（）条边后，所得的图将成为平面图。

设有集合A={1，2，3，4}，则从A到{0，1}的不同的函数有（）个。

下列命题相容吗？

用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。因此，本班有人知道对象的概念。”

设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为（）

完全图K4不是平面图。（）

求¬P∨（Q∧R）的合取范式与主合取范式。