[证明题,7.1分]
在个体域D={a1,a2,…,an}中证明等价式:
出自:河南理工大学-计算机科学与技术-离散数学