问答题
证明:f:R+→R,f(x)=log2x为代数结构〈R+,·〉到〈R,+〉的同态(这里R+为正实数,R为实数集,·为数乘运算),它是否为一同构映射?为什么?
问答题 在联结词完备集{¬,∧}上构造F。
问答题 在联结词完备集{¬,→,}上构造F。
问答题 求F的主析取范式。