一:真值表的打印
要求：输入任意主析取范式或者主合取范式打印出真值表#include
#include
#include
#include
#include
using namespace std;
stack num;
stack fuhao;
int n;
map...
分类：
其他好文 时间：
2015-06-26 22:30:33
阅读次数：
183
离散数学五主析取范式的用途1.求公式的成真赋值与成假赋值。2.判断公式的类型。是重言式，矛盾式还是可满足式。3.判断两个命题公式是否等值。例：用公式的主析取范式判断下述公式的类型：如果公式A里有n个命题变项，A的主析取范式里有s个极小项，那A就有s个成真赋值，2n-s个成假赋值。如果有2n个成真赋值...
分类：
其他好文 时间：
2015-06-24 12:37:57
阅读次数：
422
最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章 算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下，下面的代码都是我自己按照书上的伪代码写出来的，初步验证没什么问题，如果有什么问题就请告知我一下，谢谢！一、十进制到任意进制数据转换 ...
分类：
编程语言 时间：
2015-06-23 15:04:24
阅读次数：
173
昨天做了什么： 昨天修改了软件的显示形式，将单纯的文字显示，修改为图片显示，这样丰富了软件内容的表现形式，可以显示数学公式和大物的结构框图。我们将高数、c++、大学物理、离散数学的相关知识点和往年的例题，整理成图片格式，进行了裁剪和锐化，以达到清晰显示的效果。今天在做什么： 今天发现我们的程序对.....
分类：
其他好文 时间：
2015-06-23 10:07:36
阅读次数：
90
whie(!images[currentImage].endWith(".PNG")&&!images[currentImage].endWith(".png"))//这是什么意思啊？要考我离散数学？来试一试，，不对while(!images[currentImage].endsWith(".png...
分类：
移动开发 时间：
2015-06-09 21:34:14
阅读次数：
141
离散数学4：析取范式与合取范式命题公式的两种规范表示方法，能表达真值表所能提供的一切信息。命题变项及其否定统称作文字。仅由有限个文字构成的析取式叫简单析取式，仅由有限个文字构成的合取式叫简单合取式。（析取式就是由∨链接的，比如q， ￢q∨p，p∨q∨r；合取式就是由∧链接的，比如p，￢p∧q，￢p∧...
分类：
其他好文 时间：
2015-06-07 23:31:58
阅读次数：
260
离散数学3置换规则：如果φ(A)是含A的命题公式，A?B，那么φ(A)? φ(B)。公式之间的等值关系具有自反性、对称性和传递性。所以可以用来演算验证等值式。如：验证(p∨q) →r? (p→r) ∧(q→r)可以从左往右推，也可以从右往左推。因为右边的更复杂一些，由繁入简，从右向左推先。(p→r)...
分类：
其他好文 时间：
2015-06-06 23:27:23
阅读次数：
263
#include
main()
{
int i,n,j,k,a,b,x[100][100];
while(scanf("%d",&n)!=EOF)
{
for(i=1;i
for(j=1;j
scanf("%d",&x[i][j]);
for(i=1;i
for(j=1;j
for(k=1;k
{
if(x[j][i])
x[j][k]=x...
分类：
编程语言 时间：
2015-06-05 00:46:36
阅读次数：
199
题解：首先要城市要离散化，根据离散数学中可达矩阵的定义，给出一个有向图的邻接矩阵A，res = (A + E)^n表示这个矩阵n步后的可达情况，res[i][j]表示点i经过n步后到点j的方法数，那么给出了t1至t2后从v1到v2的方法数，就是要计算A^t1 + A^(t1 + 1) + … + A^(t2)
用了分治的思想计算，之前有写过模板http://blog.csdn.net/hyczms...
分类：
其他好文 时间：
2015-06-04 22:50:28
阅读次数：
159
离散数学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...
分类：
其他好文 时间：
2015-06-02 23:23:16
阅读次数：
157
