问答题
求命题公式(¬P→Q)→(¬Q∨P)的特异析取范式和特异合取范式。
问答题 设A=2U×2U,B=2U,给定由A到B的关系: f={((S1,S2),S1∩S2)|S1,S2⊆C} f是函数吗?若是的话,f的值域Rf=2U吗?为什么?
问答题 化简(A∧B∧C)∨(¬A∧B∧C).
问答题 用真值表法判定公式P(Q∧R)→P∨Q∨R是永真式、永假式还是可满足式。