真值分析法；区分反演和对偶；轉为为最小项和最大项；

题目：下列逻辑函数表达式中与异或功能相符的是（）

析：用真值分析法假设A和B都是1，那么

两个相似项只有┅部分取反，则等于完全相同部分
当有一项完全是另外一项的一部分则把长的那一项去掉
找到一对相反变量或逻辑式在两项中，则剩余變量组成的项去掉
当有一项的反完全是另外一项的一部分则把长项中的反部分去掉
可以加上一个原式中已经有的项，或是乘上(A+A’)

${}_{}$

• ${}_{}^{}{}^{}{}^{}$

• ${}_{}^{}$${}_{}^{}$

• 用处：洳果一个两个逻辑式相等那么它们的对偶式也会相等，故可以通过证明对偶式相等来证明逻辑式相等

以最小项为1和以最大项为0的变量取值表 ??

0	$0_{}$	$0_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$
${}_{}$	${}_{}$

• 在输入变量任何取值下，有且仅有一个最小项的值为1

• 全体最小项之和为1，任何两个最小项之积为0

• 两个相邻的最小项可以合并消去一对因子留下公共因子

• 展开为最小项之和的方法？

  反复使用X=X(Y+Y’)进行扩展

• 在输入变量任何取值下，有且仅有一个最大项的值为0

• 全体朂大项之积为0，任何两个最大项之和为1

• 只有一个变量不同的两最大项乘积等于各相同变量之和

• 展开为最大项之积的方法

  0