问答题
验证¬A∨(¬B∨C)╞¬(¬A∨B)∨(¬A∨C)逻缉等价式和逻辑蕴含式,并写出对偶式。
问答题 验证B∨¬((¬A∨B)∧A)t逻缉等价式和逻辑蕴含式,并写出对偶式。
问答题 验证(A∨¬B)∧(A∨B)∧(¬A∨¬B)¬(¬A∨B)逻缉等价式和逻辑蕴含式,并写出对偶式。
问答题 验证¬(¬A∨¬B)∨¬(¬A∨B)A逻缉等价式和逻辑蕴含式,并写出对偶式。