离散数学的一个简单的小问题... 解释明白加分
在命题逻辑里面有这样的一个式子~
（p→q)←→r 要把它化成主析取范式 第一步先得到
（¬p∧r)∨(q∧r)∨(p¬∧q∧¬r) 用蕴含和等价的代换式是怎么得到的？
还有p¬∧q 是怎么回事？ 非的符号怎么能出现在变量的后面？
蕴含等值式：A→B <=> ¬A∨B
－－－－
(p→q)←→r <=> ((p→q)→r)∧(r→(p→q))
<=> (¬(p→q)∨r)∧(¬r∨(p→q))
<=> (¬(¬p∨q)∨r)∧(¬r∨(¬p∨q))
<=> ((p∧¬q)∨r)∧(¬r∨¬p∨q) 再用∧对∨分配律
<=> ((p∧¬q)∧(¬r∨¬p∨q))∨(r∧(¬r∨¬p∨q)) 继续用分配律
<=> (p∧¬q∧¬r)∨(r∧¬p)∨(r∧q)
<=> (p∧¬q∧¬r)∨(¬p∧r)∨(q∧r) 接下去对后面两个简单合取式用排中律、分配律，即可得到主析取范式
p¬∧q∧¬r是错误的，应该是p∧¬q∧¬r追问
http://wenku.baidu.com/view/df6a4365783e0912a2162a40.html 这是我在百度文库找的教材，里面小项和大项的定义里面都出现了非符号放在析取与合取之前，这个教材里面写的是错了么~ 还是有两种写法？
追答不只是∧与¬的前后问题，而是∧、¬后面是要直接带命题变项符号pqr之类的，或者带括号的公式，在上面的过程中已出现过。
问一个简单的离散数学问题
设f(x1)＝f(x2)，则g(f(x1))＝g(f(x2))，即f·g(x1)＝f·g(x2). f·g是单射，则x1＝x2，所以f是单射 g不一定是单射，例如：f，g都是Z上函数，f(x)＝2x. x是偶数时，g(x)＝x，x是奇数时，g(x)＝x+1。f是单射，g不是单射，f·g是单射 ...
有关离散数学,刚刚开始学,有几个简单的问题
3.一个探险者被几个吃人者抓住了。有两种吃人者：总是说谎的和永不说谎的。除非探险者能判断出一位指定的吃人者是说谎者还是说真话者，否则就要被吃人者烤了吃。探险者只被允许问这位吃人者一个一个问题。a)解释为什么问：“你说谎吗？”是不行的？b)找一个问题，是探险者可以用来判断该吃人...
离散数学的几个简单问题
1. 从集合A（m个元素）到集合B（n个元素）的映射有n^m个。X上的二元运算是从集合X*X到X的映射，于是有N^(N^2)个 2. 不会。2. 每两个顶点之间都可以有边链接，或者没有变连接，有和没有是2种可能；而不同的顶点对共有N(N-1)\/2对，所有共有2^(N(N-1)\/2)种无向简单图（简单...
离散数学几个简单问题,要考试了,急需帮忙
1、定义关系R：A中的任意两个元素x,y具有关系R当且仅当x,y属于同一个划分块。所以R={，，，，<c,c>，<d,d>，<d,e>，<e,d>，<e,e>}。可以证明R是自反的、对称的、传递的，所以R是等价关系。（书上有介绍如何用等价关系求划分，以及用划分求等价关系。这里等价关系的判定是可以省略的...
离散数学,一个判断简单的问题
显然∀xF(x)，和∀xG(x)都为假 因此第一个式子是蕴含式，前件为假时，恒为假。但第2个式子，F(x)→G(x)显然为假（因为自然数不可能同时为奇数、偶数）因此∀x(F(x)→G(x))为假
离散数学问题!求极大元,极小元,最小元,最大元
极小元：假设a是极小元，那么对于任意的与a有偏序关系R的元素x，都有a小于等于x。最大元与最小元是唯一的，但极大元与极小元不唯一。组合数学是数学的一个分支，主要研究满足一定条件的组态（也称组合模型）的存在、计数以及构造等方面的问题。组合数学的主要内容有组合计数、组合设计、组合矩阵、组合...
离散数学的问题:求一副扑克除去大小王任取13张牌不含对的概率。求详细...
52张牌取13张，共有C(52,13)种方法 其中不含对，就意味着要从A到K各取一张，就是4个花色里轮流取，即4^13，概率为4^13\/C(52,13)
离散数学问题,怎么求一个二元关系的最小等价关系
记为 t(R)设R是集合A上的任一关系，|A|=n则① r(R) = R∪IA② s(R) = R-1∪R③ t(R) = R∪R^2∪R^3∪…∪R^n 一个二元关系R的最小等价关系则是：r(R) ∪ s(R) ∪ t(R)如果你认可我的回答，敬请及时采纳，祝你学习进步，更上一层楼！ (*^__^*)
离散数学问题
(2)一个简单合取式是矛盾式，当且仅当它同时含一个命题变项及其否定。由有限个简单合取式构成的析取式称为析取范式 如（p∧q）∨（p∧┓p∧┓r）由有限个简单析取式构成的合取式称为合取范式。 如 r∧(p∨q) ∧( p∨q∨┓r)析取范式和合取范式统称为范式 极小项为只由逻辑与和补运算...
离散数学图论的一个小问题,这俩图为什么不同构捏
如图，若G和G'同构，则必有A与A'对应 G中，与A关联的B有环，G'中，与A'关联的结点没有环 ∴不同构 不懂请追问，有帮助请采纳，谢谢！
