172p
文件名重复-ppqp172pq
m111 = m7 = 172。 P 172。 Q 172。 R 两个命题变元的 P、 Q及大项的真值表如下： P Q P Q P 172。 Q 172。 P Q 172。 P 172。 Q T T T T T F T F T T F T F T T F T T F F F T T T 每个大项当其真值指派与编码相同时，其真值为 F， 在其余 2n1种真值指派下均为 T。