问答题
验证(A∨¬B)∧(A∨B)∧(¬A∨¬B)¬(¬A∨B)逻缉等价式和逻辑蕴含式,并写出对偶式。
问答题 验证¬(¬A∨¬B)∨¬(¬A∨B)A逻缉等价式和逻辑蕴含式,并写出对偶式。
问答题 证明下列逻辑蕴含式或推理不成立: 前提:我有钱就买书 我买书必去淮海路 我没有买书 结论:我没有去淮海路
问答题 证明(A→B)→A╞B逻辑蕴含式或推理不成立。