卡诺图
图形化简
标准表达方式与化简方式
逻辑函数标准表达式
Y = A ‾ B C + A B ‾ C + A B C ‾ + A B C = ∑ m ( 3 , 5 , 6 , 7 ) Y = \overline{A}BC+A \overline{B} C+AB \overline{C} +ABC=∑m(3,5,6,7) Y=ABC+ABC+ABC+ABC=∑m(3,5,6,7)
最小项
n个逻辑变量中,m为包含n个因子的逻辑与项,其中每个逻辑变量以原变量或反变量形式出现一次且仅出现一次,称m是n个变量的最小项
(实际上只有一种情况下该最小项是1(真)于是我们把这个情况二进制作为他的下标
最大项
n个逻辑变量的逻辑函数中,M为包含n个因子的逻辑或项,每个逻辑变量以原变量或者反变量出现一次、且仅出现一次
f ( a b c ) = ( a + b ‾ + c ) ( a ‾ + b + c ‾ ) ( a ‾ + b ‾ + c ‾ ) = ∏ M ( 2 , 5 , 7 ) f(abc) = (a+\overline{b}+c)(\overline{a}+b+\overline{c})(\overline{a}+\overline{b}+\overline{c}) = \prod M(2,5,7) f(abc)=(a+b+c)(a