求离散数学(P→ Q)→ R主合取范式和主析取范式

问题描述:

求离散数学(P→ Q)→ R主合取范式和主析取范式

主析取:m1vm3vm4vm5vm7
主合取:M0^M2^M6
可以用真值表法或是等值演算法.