问答题 求P∨Q∧R∨S的主析取范式和主合取范式。

问答题 列出G1，G2中的所有基本回路。

问答题 将命题“某些汽车比所有的火车都慢，但是至少有一列火车比每辆汽车都快”符号化。