下载文档原格式
逻辑代数的运算规则逻辑代数的基本定律逻辑代数的三个规则1、代入规则在任一逻辑等式中，如果将等式两边所有出现的某一变量都代之以一个逻辑函数，则此等式仍然成立，这一规则称之为代入规则。
2、反演规则已知一逻辑函数F，求其反函数时，只要将原函数F中所有的原变量变为反变量，反变量变为原变量；“＋”变为“·”,“·”变为“＋”；“0”变为“1”；“1”变为“0”。
这就是逻辑函数的反演规则。
3、对偶规则已知一逻辑函数F，只要将原函数F中所有的“＋”变为“·”,“·”变为“＋”；“0”变为“1”；“1”变为“0”，而变量保持不变、原函数的运算先后顺序保持不变，那么就可以得到一个新函数，这新函数就是对偶函数F'。
其对偶与原函数具有如下特点：1.原函数与对偶函数互为对偶函数；2.任两个相等的函数，其对偶函数也相等。
这两个特点即是逻辑函数的对偶规则。
逻辑运算的常用公式逻辑代数的总结基本逻辑运算：与（或称“积”）---符号（&、?、无、∧、∩）或（或称“和”）---符号（| 、＋、∨、∪）非（或称“反”）---符号（! 、）1、基本运算法则：0-1律：0?A=0 0＋A=11?A=A 1＋A=A同一律：A?A=A A＋A=A互补律：A?A=0 A＋A=0反演律A?B =A＋B A＋B=A?B还原律A =A√⊕⊙？?＋A=02、常用公式交换律：A?B=B?A A+B=B+A结合律：A?(A?B)=(A?B)?C A＋(A＋B)=(A＋B)＋C 分配律：A?(A＋B)=A?B＋A?C A＋(A?B)=(A＋B)?(A＋C) 吸收律：A?(A+B)=AB A+(A?B)=ABA?B+(A?B)=A (A+B)?(A+B)=A。
逻辑运算的基本法则一、逻辑与运算逻辑与运算是一种复合运算，表示两个或多个逻辑变量同时为真时，结果才为真。
逻辑与运算的符号为“∧”，如果A和B两个逻辑变量为真，则A∧B为真；如果A和B中至少有一个为假，则A∧B 为假。
二、逻辑或运算逻辑或运算是一种复合运算，表示两个或多个逻辑变量中至少有一个为真时，结果就为真。
逻辑或运算的符号为“∨”，如果A、B中至少有一个为真，则A∨B为真；只有当A和B都为假时，A∨B才为假。
三、逻辑非运算逻辑非运算是一种一元运算，表示一个逻辑变量取反。
逻辑非运算的符号为“¬”，如果A为真，则¬A为假；如果A为假，则¬A为真。
四、逻辑等价运算逻辑等价运算表示两个逻辑变量相等或不相等的关系。
逻辑等价运算的符号为“↔”，如果A和B相等，则A↔B为真；如果A和B 不相等，则A↔B为假。
五、逻辑蕴含运算逻辑蕴含运算表示一个逻辑变量如果为真，则另一个逻辑变量也为真的关系。
逻辑蕴含运算的符号为“→”，如果A为真而B也为真，则A→B为真；否则，A→B为假。
六、逻辑析取三段论逻辑析取三段论是一种复合推理，表示如果两个前提中至少有一个为真，则结论一定为真的推理方式。
在形式化表示中，如果A和B 分别表示两个前提，C表示结论，则形式化表示为：(A∨B)→C。
七、逻辑合取三段论逻辑合取三段论是一种复合推理，表示如果两个前提都为真，则结论一定为真的推理方式。
在形式化表示中，如果A和B分别表示两个前提，C表示结论，则形式化表示为：A∧B→C。
八、逻辑重析取三段论逻辑重析取三段论是一种复合推理，表示一个前提析取另一前提的合取结果的推理方式。
在形式化表示中，如果A、B和C分别表示三个命题，D表示结论，则形式化表示为：(A→(B∧C))→D。
命题的逻辑运算与真值表逻辑运算是数理逻辑中的一个重要概念，它描述了命题之间的关系和推理规则。
命题是一个陈述句，可以被判断为真或假。
本文将介绍命题的逻辑运算及其真值表。
一、基本逻辑运算基本逻辑运算包括与运算（∧）、或运算（∨）和非运算（¬）。
1.1 与运算（∧）与运算表示两个命题同时为真时，整个逻辑表达式才为真。
符号为"∧"。
例如，命题P为"我喜欢游泳"，命题Q为"今天是晴天"，则"我喜欢游泳∧今天是晴天"表示我只有在今天是晴天的时候才喜欢游泳。
1.2 或运算（∨）或运算表示两个命题中至少有一个为真时，整个逻辑表达式才为真。
符号为"∨"。
例如，命题P为"我喜欢游泳"，命题Q为"今天是晴天"，则"我喜欢游泳∨今天是晴天"表示我不管今天是不是晴天，只要我喜欢游泳就为真。
1.3 非运算（¬）非运算表示对命题的否定。
如果一个命题为真，则其否定为假；如果一个命题为假，则其否定为真。
符号为"¬"。
例如，命题P为"我喜欢游泳"，则"¬我喜欢游泳"表示我不喜欢游泳。
二、复合逻辑运算在基本逻辑运算的基础上，可以进行复合逻辑运算，包括蕴含（→）、等价（↔）和异或（⊕）。
2.1 蕴含运算（→）蕴含运算表示如果前提为真，则结论也为真。
符号为"→"。
例如，命题P为"如果下雨，那么我会带雨伞"，命题Q为"下雨了"，则"P→Q"表示如果下雨了，那么我会带雨伞。
2.2 等价运算（↔）等价运算表示两个命题具有相同的真值，当且仅当两个命题的真假相同时，整个逻辑表达式为真。
符号为"↔"。
三种基本逻辑运算的运算规则
逻辑代数的基本逻辑运算有三种：逻辑乘、逻辑加和逻辑非。
这三种是基本逻辑运算。
逻辑加法（“或”运算）逻辑加法通常用符号“＋”或“∨”来表示.逻辑加法运算规则如下：0＋0＝0，0∨0＝00＋1＝1，0∨1＝11＋0＝1，1∨0＝11＋1＝1，1∨1＝1从上式可见，逻辑加法有“或”的意义.也就是说，在给定的逻辑变量中，A或B只要有一个为1，其逻辑加的结果为1；两者都为1则逻辑加为1.逻辑乘法（“与”运算）逻辑乘法通常用符号“×”或“∧”或“·”来表示.逻辑乘法运算规则如下：0×0＝0，0∧0＝0，0·0＝00×1＝0，0∧1＝0，0·1＝01×0＝0，1∧0＝0，1·0＝01×1＝1，1∧1＝1，1·1＝1不难看出，逻辑乘法有“与”的意义.它表示只当参与运算的逻辑变量都同时取值为1时，其逻辑乘积才等于1.逻辑否定（"非"运算）逻辑非运算又称逻辑否运算.其运算规则为：0＝1 “非”0等于11＝0 “非”1等于0。
