第1章节命题逻辑课件1章节.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 二、 组合电路 命题逻辑的知识在日常生活和工程技术中应用非常广泛，特别在组合电路设计中更是如此。为了今后逻辑电路设计的需要，现将与命题逻辑联结词对应的门电路罗列于下： 门电路 命题表示 逻辑代数表示 — F= ┐A F= A F=A∧B F= A?B F=A∨B F= A+B 门电路 命题表示 逻辑代数表示 —— F= ┐(A∧B) F= A?B —— F= ┐(A∨B) F=A+B F=A⊕B F=A?B F=A⊙B （一）、电路化简 已知逻辑电路如下，在逻辑代数中可以利用卡诺图进行化简，这里要求利用已学知识将其化简。 F=（P∨Q）∧┐(┐P∧(┐Q∨┐R)) ∨((┐P∧┐Q) ∨(┐P∧┐R)) ∧(Q∧R) ?(P∨Q）∧(P∨(Q∧R)) ∨((┐P∧(┐Q ∨ ┐R)) ∧(Q∧R)) ?(（P∨Q）∧((P∨Q) ∧ (P ∨ R)) ∨((┐P ∧ ┐(Q∧R)) ∧(Q∧R)) ?(（P∨Q）∧(P∨R)) ∨0 ?(（P∨Q）∧(P∨R)) ?(P∨(Q∧R)) ?P ∨(Q∧R) PQ R F 该逻辑电路可化简为： （二）、电路的等价变换 在联结词中，某些联结词的功能能够代替所有联结词的功能，这些联结词集合称为功能完全最小集合，如{┐，∧}和{┐，V}等。在电路设计中，为了减少逻辑电路的故障，便于维修，尽量采用统一的元器件。最常用的元件是“与非门”器件。如逻辑电路如下： P Q R F F=（P∧Q）∨┐R ?┐┐（P∧Q）∨┐R ?┐（┐（P∧Q））∨┐R ?┐（┐（P∧Q））∧R） 该逻辑电路可以用“与非门”组合而成。 P Q R F （三）、全加器的设计 计算机的加法运算可归结为二进制数码的相加运算，全加器中某一位是由被加数和加数对应位及低一位进位相加而成，同时还要处理该位相加后向高位进位的问题。假设P和Q为相加两数第i位的数码，R为i-1位向第i位的进位，S是P 、Q 、R 相加后在本位得到的数码，J是第i位向第i+1位的进位数码。 其运算真值如下： P Q R S J 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 J=（┐P∧Q∧R）∨（P∧┐Q∧R）∨（P∧Q∧┐R）∨（P∧Q∧R） S=（┐P∧┐Q∧R）∨（┐P∧Q∧┐R）∨（P∧┐Q∧┐R）∨（P∧Q∧R） 利用等价变换化简J： J=（┐P∧Q∧R）∨（P∧Q∧R）∨（P∧┐Q∧R）∨（P∧Q∧R）∨（P∧Q∧┐R）∨（P∧Q∧R） =(（┐P∧Q∧R）∨（P∧Q∧R）)∨(（P∧┐Q∧R）∨（P∧Q∧R）)∨(（P∧Q∧┐R）∨（P∧Q∧R）) =(P∧Q) ∨(P∧R) ∨(Q∧R) S无法化简，所以全加器逻辑电路图如下： J S P Q R * * * * * * * * * * * * * * * * * * * * * * * * * 在数理逻辑中情况稍有不同，它把注意力集中在推理规则的研究上，如果依据这些推理规则，从前提推导出来的任何结论都称为有效结论，这种论证称为有效论证。在确认论证有效性时，前提与结论的真实性不起任何作用，也就是说，在数理逻辑中，只关心论证的有效性，而不大关心论证的合法性。 有一故事：父子两人上山砍柴，父亲突然被老虎叼走，儿子提起斧子来救。父亲在虎口中说，砍虎脚，不要砍虎身，若砍老虎身，老虎皮就有破洞，将来卖不起价钱。 这个故事中