摘要： 离散数学五主析取范式的用途1.求公式的成真赋值与成假赋值。2.判断公式的类型。是重言式，矛盾式还是可满足式。3.判断两个命题公式是否等值。例：用公式的主析取范式判断下述公式的类型：如果公式A里有n个命题变项，A的主析取范式里有s个极小项，那A就有s个成真赋值，2n-s个成假赋值。如果有2n个成真赋值... 阅读全文

摘要： 离散数学4：析取范式与合取范式命题公式的两种规范表示方法，能表达真值表所能提供的一切信息。命题变项及其否定统称作文字。仅由有限个文字构成的析取式叫简单析取式，仅由有限个文字构成的合取式叫简单合取式。（析取式就是由∨链接的，比如q， ￢q∨p，p∨q∨r；合取式就是由∧链接的，比如p，￢p∧q，￢p∧... 阅读全文

摘要： 离散数学3置换规则：如果φ(A)是含A的命题公式，A⇔B，那么φ(A)⇔ φ(B)。公式之间的等值关系具有自反性、对称性和传递性。所以可以用来演算验证等值式。如：验证(p∨q) →r⇔ (p→r) ∧(q→r)可以从左往右推，也可以从右往左推。因为右边的更复杂一些，由繁入简，从右向左推先。(p→r)... 阅读全文

摘要： 离散数学2：基本概念公式层次：单个的命题变项A是0层公式。如果A是n层公式，B是m层公式，那么￢A是n+1层公式；C=A∧B,C=A∨B,C=A→B,C=A↔B的层次是：max(n,m)+1。比如（￢(p→￢q) ∧((r∨s) ↔￢q)的层次计算就是： 0 1 0 0 1 2 1 1 3 2 44... 阅读全文

摘要： 离散数学1：基本概念一、命题与联结词命题：非真即假的陈述句即为命题。如：因为3>2，所以3≠2.（它是复合命题）命题有真值，非1即0。简单命题/原子命题：不能被分解成更简单的命题。如3＞2和3≠2这是两个简单命题。命题符号化：用p、q、r、s等表示命题。联结词￢、∧、∨、→、↔的定义P q￢p 非p... 阅读全文

摘要： using Microsoft.CSharp;using System;using System.CodeDom;using System.CodeDom.Compiler;using System.Collections.Generic;using System.IO;using System.L... 阅读全文

摘要： using Microsoft.CSharp;using System;using System.CodeDom.Compiler;using System.Collections.Generic;using System.Linq;using System.Reflection;using Sys... 阅读全文