问答题
对下题给定的群G1和G2以及fG1→G2，说明f是否为群G1到G2的同态。如果是，说明G是否为单同态，满同态和同构，并求同态像f（G1）和同态核kerf。
G1=〈Z，+〉，G2=〈R*，·〉，其中R*为非零实数的集合，+和·分别表示数的加法和乘法。
问答题 （p∧(p→q）)→q
问答题 用归结推理证明：P→（Q→R），Q→（R→O）。
问答题 若不允许有两面蓝旗相邻，又有多少种不同的排列方法？
