当前位置: 网站首页>小程序开发>网络推广

磁县申请400电话费用【磁县企业全国热线电话办理】磁县开通400电话电信价格、磁县微信公众号代运营外包托管、磁县网店编辑装修美工、磁县网站推广优化大概需要多少钱

发表日期: 2021-04-20 15:24:37 浏览次数:370

磁县申请400电话费用【磁县企业全国热线电话办理】磁县开通400电话电信价格、磁县微信公众号代运营外包托管、磁县网店编辑装修美工、磁县网站推广优化大概需要多少钱

磁县,隶属河北省邯郸市。古称磁州,是中国磁州窑文化的发祥地。位于中原经济协作区中心地带,晋、冀、鲁、豫四省通衢,与石家庄、郑州、太原、济南4个省会城市的距离均在200公里左右。 [1]  2019年,磁县辖11个乡镇,地域面积688平方公里,总人口50万人。地势西高东低,西部属太行山东麓,东部为山前冲积平原,山区、丘陵、平原各占三分之一。 [2] 

磁县自公元222年设县,迄今已1800多年。 [1]  磁县的旅游景点有鼓楼、贺兰山、河北纸马、磁州窑博物馆等旅游景点。盛产柿子、花椒、核桃、松花蛋等特产。

12.8.1 等价的法则

首先要从一些与等价如何起效有关的结论开始。大家应该注意到等价性在这里的双重身份。它是我们在逻辑表达式中使用的众多运算符之一。不过,它也是表示两个表达式“相等”并能互相替换的符号。因此形如E1E2这样的重言式表明了一些与E1E2有关的信息,即利用“相等可以由相等替换”的原则,它们在更大的表达式中是可以相互替换的。

此外,我们可以利用等价证明其他的等价。如果有一列表达式E1E2、…、Ek,满足每个表达式都能通过相等换相等的替换从前一个表达式得到,那么在用相同的真值赋值为这些表达式求值时,它们会得到相同的值。这样一来,E1Ek 一定是重言式。

12.1 等价的自反性pp

正如我们要陈述的所有法则一样,替换原则是适用的,这样可以用任意表达式代替p。因此该法则表明任何表达式都是与自身等价的。

12.2 等价的交换律:(pq)≡(qp)。

非正式地讲,当且仅当q 等价于p 时有p 等价于q。根据替换原则,如果任一表达式E1与另一表达式E2等价,那么E2就等价于E1。因此E1E2是可以互相替换的。

12.3 等价的传递性:((pq)AND(qr))→(pr)。

非正式地讲,如果p等价于q,而且q等价于r,那么p就等价于r。这条法则具有一个重要的推论,如果我们得出E1E2E2E3是重言式,那么E1E3也是重言式。

12.4 否定的等价(p\equiv q)\equiv(\overline{p}\equiv\overline{q})

当且仅当两个表达式的否定等价时,这两个表达式是等价的。

12.8.2 类似算术的法则

在算术运算符+、×和一元减号与逻辑运算符ORANDNOT之间存在一种类比。因此以下法则应该不会让大家感到意外。

12.5 AND运算的交换律pqqp

非正式地讲就是,只有在qp 为真时,pq 才为真。

12.6 AND运算的结合律p(qr )≡(pq)r

非正式地讲,要为3个变量(或表达式)的AND分组,既可以先取前两个变量(或表达式)的AND,也可以先取后两个变量(或表达式)的AND。此外,加上法则12.5,我们可以证明任意一系列命题或表达式的AND都可以按照我们的意愿随意排列和分组——结果都是相同的。

12.7 OR运算的交换律:(p+q)≡(q+p)。

12.8 OR运算的结合律:(p+(q+r ))≡((p+q)+r )。

这一法则和法则12.7表明了任何表达式集的OR都可以随意分组。

12.9 ANDOR的分配律p(q+r)≡(pq+pr)。

也就是说,如果我们希望为p 和两个命题或表达式的ORAND,既可以先取OR,也可以对p 与各表达式先取AND,得到的结果是相同的。

12.10 1(TRUE)是AND的单位元p AND 0≡p

请注意,(1 AND p)≡p 也是重言式。我们不需要说出它,因为它可由替换原则和之前的法则得出。也就是说,可以在12.5(AND的结合律)中用1替换p 并用p 替换q,从而得到重言式(1 AND p)≡(p AND 1)。然后,应用12.3(等价的传递性),就得到(1 AND p)≡p

12.11 0(FALSE)是OR的单位元:(p OR 1)≡p

同样地,可以利用与12.10如出一辙的论证,得出(0 OR p)≡p

12.12 0是AND的零元:(p AND 0)≡0。4

4当然(0 AND p)0也成立,我们之后不会再提到那些结合律的结果。

回想一下10.7节,运算符的零元是指这样一个常数,我们对该常数和任意值应用该运算符所得到的值都是该零元。请注意,在算术运算中,0是×的零元,但+是没有零元的。不过,我们会看到1是OR的零元。

12.13 双重否定的抵消:(NOT NOT p)≡p

算术和逻辑运算符类比的利用

我们使用对应ANDOR的简写符号时,往往可以假装自己是在处理乘法和加法,正如我们在法则12.5到12.12中所使用的。这是种优势,因为我们对相应的算术运算法则是非常熟悉的。因此,大家应该能很快用pr+ps+qr+qs 或q(s+r )+(r+s)p 来替换(p+q)(r+s)。

更难也是更需要练习的部分就是应用那些与算术运算不相似的法则。比如德摩根律和ORAND的分配律。例如,用(p+r )(p+s)(q+r )(q+s)替换pq+rs 是可以的,但要看出这是通过3次应用ORAND的分配律,并利用交换律和结合律得到的,需要费一些思量。

12.8.3 ANDOR与加和乘的区别

还有很多法则表现出了ANDOR与算术运算符×和+的区别,这里要列举一些。

12.14 ORAND的分配律:(p+qr)≡(p+q)(p+r ))。

就像AND可以对OR分配那样,OR也可以对AND分配。请注意,相似的算术形式,x+yz≡(x+y)(x+z)一般而言是不成立的。

12.15 1是OR的零元:(1 OR p)≡1。

请注意,相似的算术形式1+x=1一般来说是不成立的。

12.16 AND的幂等性ppp

回想一下,当运算符应用到某相同值的两个副本时,得到的结果还是该值,就说该运算符是幂等的。

12.17 OR的幂等性p+pp

请注意, ×和+都不是幂等的。也就是说,一般来说x×x=x 和x×x=x 都是不成立的。

12.18 吸收律。

这一法则有两个版本,取决于我们想消除的是多余的积还是多余的和。

(a) (p+pq)≡p

(b) p(p+q)≡p

请注意,如果在(a)中用任意文字积替换p,并用另一个文字积替换q,就可以说,在析取范式中,可以消除那些具有其他某个积所含文字之超集的积。较小的集合就被吸收到超集之中。在(b)部分中,我们对合取范式作出同样的说明,可以消除那些是其他某个和中文字之超集的和。

12.19 某些否定的消除。

(a) p(\overline{p}+q)\equiv pq

(b) p+\overline{p}q\equiv p+q

请注意,(b)就是我们在12.2节中解释莎莉的条件为何能替换山姆的条件时用到过的法则。

12.8.4 德摩根律

还有两条法则让我们可以把NOT压入ANDOR的表达式中,得到一个由各命题变量的否定组成的表达式。得到的表达式是应用到文字的AND-OR表达式。从直觉上讲,如果们为具有ANDOR的表达式取反,就可以把否定沿着表达式树向下压,随着该过程“翻转”运算符。也就是AND会变成OR,反之亦然。最后,否定到达叶子节点的位置,并停留在那里,除非它们遇到否定文字,在这种情况下,就要利用法则12.13消除两次否定。在构造新表达式时,一定要注意加上恰当的括号,因为在交换ANDOR时运算符的优先级改变了。

这些基本规则就叫“德摩根律”,它们是以下两个重言式。

12.20 德摩根律

(a) NOT(pq)\equiv\overline{p}+\overline{q}

(b) NOT(p+q)\equiv \overline{p}\ \overline{q}

(a)部分说明,只有在p 和q 之中至少有一个为假时,p 和q 才都不为真。而(b)部分说明,当且仅当p 和q 都为假时,p 和q 才都不为真。我们可以将这两条法则一般化,使其按照如下方式应用到任意数量的命题变量上。

(c) (NOT(p1p2pk))≡(\overline{p}_1+\overline{p}_2+\cdots+\overline{p}_k)

(d) (NOT(p1+p2+…+pk))≡(\overline{p}_1\overline{p}_2\cdots\overline{p}_k)

例如,(d)说明当且仅当一系列表达式全为假时,它们才一个都不为真。

示例 12.20

我们已经在12.5和12.6节中了解到了如何为任意逻辑表达式构造析取范式。假设要从任意可以写成E1+E2+…+Ek,其中各Ei 都是文字的AND的表达式E开始。就可以构造NOT E 的合取范式,首先有

NOT(E1E2+…+Ek)

然后应用德摩根律(d),得到

(NOT(E1))(NOT(E2))…(NOT(Ek))      (12.8)

现在设Ei 是文字积\overline{X}_{i1}\overline{X}_{i2}\dots\overline{X}_{ij_i},其中各X要么是变量,要么是变量的否定。那么我们可以对NOT(Ei ),将其变为

\overline{X}_{i1}+\overline{X}_{i2}+\cdots+\overline{X}_{ij_i}

如果某个文字X 是否定变量,比方说是\overline{q},那么利用法则12.13,消除双重否定,\overline{X}就应该被替 换成变量q 本身。在进行所有的改变之后,式(12.8)就变成了文字和的积。


磁县申请400电话费用磁县企业全国热线电话办理磁县开通400电话电信价格、磁县微信公众号代运营外包托管、磁县网店编辑装修美工、磁县网站推广优化大概需要多少钱

400-111-6878
服务热线
顶部

备案号: 苏ICP备11067224号

CopyRight © 2011 书生商友信息科技 All Right Reserved

24小时服务热线:400-111-6878   E-MAIL:1120768800@qq.com   QQ:1120768800

  网址: http://www.768800.com  网站建设上往建站

关键词: 网站建设| 域名邮箱| 服务器空间| 网站推广| 上往建站| 网站制作| 网站设计| 域名注册| 网络营销| 网站维护|

企业邮箱| 虚拟主机| 网络建站| 网站服务| 网页设计| 网店美工设计| 网站定制| 企业建站| 网站设计制作| 网页制作公司|

400电话办理| 书生商友软件| 葬花网| 调温纤维| 海洋馆运营维护| 北京保安公司| 殡仪馆服务| 殡葬服务| 苏州殡葬一条龙| 朝阳殡葬| 苏州殡葬服务|

预约专家

欢迎您免费咨询,请填写以下信息,我们收到后会尽快与您联系

  

服务热线:400-111-6878