问答题
ρ={(i,j)|i<j}
问答题 (a)证明“相对补”不是一个可交换运算,即证明存在一个论述域包含集合A和B,使A-BB-A。 (b)A-B=B-A可能吗?刻画此式出现的全部条件。 (c)“相对补”是一个可结合的运算吗?证明你的所言。
问答题 ρ={(i,j)|i>j}
问答题 求下列公式的析取范式、特异析取范式、合取范式和特异合取范式: (¬P∨¬Q)→(P↔¬Q)