讲义4 代数和逻辑运算2.pptVIP

4.1.1 整数的算术运算 我们只研究加减，乘除可以在软件中通过连加，连减实现。 计算机中数据存储采用二进制补码形式，故我们研究二进制补码的加减运算。 1. 二进制补码中的加法 类似于十进制：列与列相加，如果有进位，就加到下一列上。 二进制数的算术运算 1、加减法 规则： 0+0= 0 ， 0+1=1， 1+0 =1 ，1+1= 0（进位1） 0-0= 0 ， 1-0 =1 ，1-1= 0 ，0-1=1 （有借位） 例： - 命题 命题：有具体意义且能够判断真假的陈述句。 命题的真值:命题所具有的值“真”(true，简记为T)或“假”（false,简记为F）称为其真值。 命题标识符：表示命题的符号，该标识符称为命题常量。 原子命题：不能分解为更为简单的陈述句的命题； 复合命题：将原子命题用连接词和标点符号复合而成的命题。 连接词“与”（ ∧） “与”( ∧):两个命题A和B的“与”(又称为A和B的“合取”)是一个复合命题，记为A∧B。当且仅当A和B同时为真时A∧B为真，在其他的情况下A∧B的真值均为假。 A∧B的真值表: 连接词 “或”（∨） “或”（∨）：两个命题A和B的“或”（又称为A和B的“析取”）是一个复合命题，记为A∨B。当且仅当A和B同时为假时A∨B为假，在其他的情况下A∨B的真值均为真。 A∨B的真值表： 连接词“非”（┑） “非”（┑）：命题A的“非”（又称为A的“否定”）是一个复合命题，记为 ┑A。若A为真，则┑A为假；若A为假，则┑A为真。 ┑A的真值表： 连接词 “异或”（⊕） “异或” （⊕）：两个命题的A和B的“异或”（又称为A和B的“不可兼或”）是一个复合命题，记为A⊕B。当且仅当A和B同时为真或者同时为假时A⊕B为假，在其他的情况下A⊕B的真值为真。 A⊕B的真值表： 连接词“条件”（ →） “条件”（ →）：两个命题的A和B的“条件”是一个复合命题，记为 A→B,读作“如果A，则B”。 当且仅当A的真值为真，B的真值为假时，A→B为假，在其他的情况下A→B的真值均为真。 A→B的真值表： 连接词 “双条件”( ) “双条件”( ):两个命题的A和B的“双条件”（又称为A当且仅当B）是一个复合命题，记为A B，读作“A当且仅当B”。 当且仅当A的真值与B的真值相同时， A B为真，否则A B的真值均为假。 A B的真值表： 命题公式 命题公式： 由命题变元、连接词和括号组成的合式的式子称为命题公式。 命题公式等价：如果两个不同的命题公式P和Q，无论其命题变元取什么值它们的真值都相同，则称该两个命题公式等价，记为P＝Q。 〖例2-25〗证明 ┑（A→B）与A∧┑B是等价的。 命题公式的等价律 其中A、B、C等为命题变元，T表示“真”，F表示“假” 零律： A∨F＝A A∧F＝F 幺律： A∨T＝T A ∧T＝A 幂等律：A∨A＝A A ∧A＝A 求补律：A∨┓A＝T A∧┓A＝F 交换律：A∨B＝B∨A A∧B＝B∧A 命题公式的等价律（续） 结合律： A∨（B∨C）＝（A∨B）∨C A∧（B∧C）＝（A∧B）∧C 分配律： A∧（B∨C）＝A∧B∨A∧C A∨B∧C＝（A∨B）∧（A∨C） 吸收律： A∧B∨A∧┓B＝A （A∨B）∧（A∨┓B）＝A 狄－摩根定律：┓（A∨B）＝┓A∧┓B ┓（A∧B）＝┓A∨┓B 双重否定律： ┓┓ A＝A 证明狄－摩根定律 〖例2-26〗证明狄－摩根定律之一：┓（A∧B）＝┓A∨┓B。 逻辑代数的等价律 零律： A＋0＝A A 0＝0 幺律： A＋1＝1 A 1＝A 幂等律：A＋A＝A A A＝A 求补律：A＋ā ＝1 A ā ＝0 逻辑代数的等价律(2) 逻辑函数的化简 掩码 一个二进制位模式可通过与另一个位模式进行与、或以及异或运算而被修改，这里的“另一个位模式”就是掩码。 与：把位模式指定位“置0”；Rules：p49 或：把位模式指定位“置1”； Rules： p50 异或：