问答题
求下列公式的析取范式、特异析取范式、合取范式和特异合取范式: P→(P∧(Q→P))
问答题 证明AB、∪B=U和A∩=三者是等价的。
问答题 设A、B和C是论述域U的任意子集,证明下列各式: (a)A∩(B-A)= (b)A∪(B-A)=A∪B (c)A-(B∪C)=(A-B)∩(A-C) (d)A-(B∩C)=(A-B)∪(A-C)
问答题 ρ={(i,j)|i/j是素数}