数理逻辑的应用.docVIP

1 逻辑运算??????? 逻辑运算又称布尔运算，它是用数学的方法解决或研究逻辑问题，即用离散的符号“1”和“0”表示逻辑中的“真”和“假”再加上一套与之相关的“与”、“或”、“非”为运算基础的逻辑运算规则解决实际逻辑问题的方法，从而实现复杂逻辑运算到简单的数值计算的转化。??????? 尽管互联网的查询系统原理各不相同，但使用与（）、或（||）、非（-）通配符的查词方法却是一致的，这便是逻辑运算的最好例子。下面我们就逻辑运算在电路设计中的运用加以探讨：某公司王某欲搬入新房，搬迁前需要完成电路的设计安装，由于该房深处闹市，四周楼房林立，严重影响了客厅的采光，于是王某想设计一个电路，要求客厅四盏灯由一个开关控制，开关按下一次亮一盏灯，再按一下亮两盏，以此类推，直到按下第五次时所有灯熄灭。假设四个灯依次为A、B、C、D，灯亮为1，灯灭为0，开关有脉冲输入为1，否则为0，则根据题意可得真值表（如图１）：????????设第ｎ号灯的上一状态为Nｎ，第ｎ＋１号灯现在在的状态为Nｎ＋１，脉冲输入状态为M，则有：Nｎ＋１=NｎM（N0与M的且运算）其中Ｎｎ＝ＮＡＮＢ．．．Ｎｎ－１灯亮的条件为（A┐B∧┐C∧┐D）（AB∧┐C∧┐D）（AB∧C∧┐D）（AB∧C∧D）如Ｂ灯亮的条件是Ａ灯亮并且有脉冲输入，C灯亮的条件是ＡＢ都亮并且有脉冲输入。该电路功能由一个与门电路和一个计数触发器连接即可完成，当开关第5次输入后计数器输出信号置0，灯全部关闭，此时设备全部复位。如图２。 2 范式理论??????? 范式是逻辑运算符号化表示的一种标准表达形式，根据这种方法，把同一类型中尽可能出现的命题变相以及具有完整功能的符号化内容通过合、析取的方式联合在一起，而不改变其逻辑功能。甲、乙、丙、丁四个人有且只有两个人参加围棋比赛。关于谁参加比赛，下列四个判断都是正确的：(1)甲和乙只有一人参加比赛。(2)丙参加，丁必参加。(3)乙或丁至多参加一人。(4)丁不参加，甲也不会参加。请推断出哪两个人参加围棋比赛。 设a：甲参加了比赛。 b：乙参加了比赛。c：丙参加了比赛。 d：丁参加了比赛。(1) (a┐b)∨(┐a∧b)(2) c→d(3) ┐(b∧d) (4) ┐d→ ┐a 于是，((a┐b)∨(┐a∧b))∧(c→d)∧(┐(b∧d))∧(┐d→ ┐a)?(a∧┐b∧┐c∧d)∨(a∧┐b∧d)∨(┐a∧b∧┐c∧┐d)根据题意条件，有且仅有两人参赛，故┐ab∧┐c∧┐d为0，所以(a┐b∧┐c∧d)∨(a∧┐b∧d)为1，即甲和丁参加了比赛。 又如 在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断：?? 甲说王教授不是苏州人，是上海人。?? 乙说王教授不是上海人，是苏州人。丙说王教授既不是上海人，也不是杭州人。听完以上3人的判断后，王教授笑着说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。试用逻辑演算法分析王教授到底是哪里人？设命题?? p：王教授是苏州人。?? q：王教授是上海人。 ?? r：王教授是杭州人。显然p,q,r中有且只有一个真命题。??甲的判断为A1=┐pq乙的判断为A2=p┐q 丙的判断为A3=┐q┐r?? 那么，甲的判断全对 B1=A1=┐pq甲的判断对一半 B2=(┐p┐q)∨(p∧q)甲的判断全错?? B3=p┐q乙的判断全对?? C1=A2=p┐q乙的判断对一半 C2=(pq)∨(┐p∧┐q)乙的判断全错?? C3=┐pq丙的判断全对?? D1=A3=┐q┐r丙的判断对一半 D2=(q┐r)∨(┐q∧r)丙的判断全错 D3=qr由王教授所得析取范式：E = (B1C2∧D3)∨(B1∧C3∧D2)∨(B2∧C1∧D3)∨(B2∧C3∧D1)∨(B2∨C1∧D2)∨(B3∧C2∧D1)为真命题。 经过演算化为主析取范式后后,可得E ? (┐pq∧┐r)∨(p∧┐q∧r) 由题设，王教授不能既是上海人，又是杭州人，因而p,r中必有一个假命题，即p┐q∧r?0，于是?? E ? ┐pq∧┐r为真命题，因而必有p,r为假命题，q为真命题，即甲说的全对，丙说对了一半，而乙全说错了，王教授是上海人。 ３　等值演算??????? 等值演算是指利用逻辑恒等式、代入规则、替换规则和对偶原理对命题公式进行推理、演算，等值演算的目的在于化简复杂的命题公式，从而提取出于命题等价的核心要素，便于利用。以下是《现代社会更需要专才还是通才》辩论记录：正方：对方辩友，既然您都说了专才是有缺陷的，难道你还认为专才比通才更需要吗？既然您仍然认为专才那么重要，那么我们还要通才干什么，吃饭吗？反方：