下面哪一组命题公式不是等值的?( )
问题描述:
下面哪一组命题公式不是等值的?( )
A.┐(A→B),A∧┐B
B.┐(A←→B),(A∧┐B)∨(┐A∧B)
C.A→(B∨C),┐A∧(B∨C)
D.A→(B∨C),(A∧┐B)→C
答
下面哪一组命题公式不是等值的?(C)
A.┐(A→B)=┐(┐A∨B)=A∧┐B
B. ┐(A←→B)=┐((┐A∨B)∧(A∨┐B))=(A∧┐B)∨(┐A∧B)
C.A→(B∨C)=┐A∨(B∨C))不等于┐A∧(B∨C)
D.A→(B∨C)=┐A∨(B∨C))=┐(A∧┐B)∨C=(A∧┐B)→C