数字电路逻辑公式.docx

《数字电路逻辑公式.docx》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑乘:A*0=0A*A=AA*1=A逻辑或:A+0=AA+1=1A+A=A逻辑非:A*非A=0A+非A=1非(非A)=A另外还有交换律:A*B=B*AA+B=B+A结合律:(A*B)*C=A*(B*C)(A+B)+C=A+(B+C)分配律:A*(B+C)=A*B=A*CA+B*C=(A+B)*(A+C)一、基本公式　　　　表1.3.1中若干常用公式的证明　　　　1．　　　　证明：　　　　2.A+AB=A　　　　证明：A+AB=A(1+B)=A1=A3.　　　　证明：　　　4.　　　　证明：　　　推论：　　二、运算规则　　　　　　1．代入定理任何一个含有某变量的等式，如果等式中所有

2、出现此变量的位置均代之以一个逻辑函数式，则此等式依然成立，这称为代入规则。利用代入规则，反演律能推广到n个变量，即:　　　　2．反演定理对于任意一个逻辑函数式F，若把式中的运算符“.”换成“+”,“+”换成“.”，常量“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，则得到的结果为。这个规则叫反演定理　　运用反演定理时注意两点：　　　　①必须保持原函数的运算次序。　　　　②不属于单个变量上的非号保留，而非号下面的函数式按反演规则变换。例如：　　　　　其反函数：　　3．对偶定理对于任意一个逻辑函数F，若把式中的运算符“.”换成“+”，“+”换成“.”，常量“0”

3、换成“1”，“1”换成“0”，则得到F的对偶式F′。　　　　例如：　　　其对偶式：　　　对偶定理：如果两个函数式相等，则它们对应的对偶式也相等