问答题
求下列公式的析取范式、特异析取范式、合取范式和特异合取范式: (¬P∨¬Q)→(P↔¬Q)
问答题 ρ={(i,j)|i是j的倍数}
问答题 ρ={(i,j)|i整除j}
问答题 假定A和A∪B=A∪C,证明这不能得出B=C,假设中增加A∩B=A∩C,你能得出B=C吗?