题目

下面哪一组命题公式不是等值的?（ ）
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

提问时间：2021-04-01

答案

下面哪一组命题公式不是等值的?（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