逻辑化简思路

逻辑表达式化为析取式

假设表达式只含有<=> => or and not

1 去掉所有<=>

2 去掉所有=>

3 去掉所有not ：利用摩根律和负负得正律

4 分配律：(A+B)C=AC+BC，从而得到析取式

 

 

逻辑化简规则

假设表达式只含有or and not

原理：为化为合取式，求补的析取式。其中第四步是难点。

1 求补

2 去掉所有not ：利用摩根律和负负得正律

3 分配律：(A+B)C=AC+BC，从而得到析取式

4 反复利用规则化简

5 求补得到合取式