- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
5任意命题公式的真值表
//构造任意公式的真值表
/*
利用计算机求命题公式真值表的关键是:
①给出命题变元的每一组赋值;
②计算命题公式在每一组赋值下的真值。
真值表中命题变元的取值具有如下规律:
每列中0和1是交替出现的,且0和1连续出现的个数相同。
n个命题变元的每组赋值的生成算法可基于这种思想。
含有n个命题变元的命题公式的真值的计算采用的方法为"算符优先法"。
为了程序实现的方便,约定命题变元只用一个字母表示,
非、合取、析取、条件和双条件联结词分别用!、&、|、-、=来表示。
算符之间的优先关系如下面所示:
= - | & ! ( ) @
= > < < < < < > >
- > > < < < < > >
| > > > < < < > >
& > > > > < < > >
! > > > > > < > >
( < < < < < < = E
) > > > > > E > >
@ < < < < < < E =
为实现算符优先算法,我们采用两个工作栈。一个称作OPTR,用以寄存运算符;
另一个称作OPND,用以寄存操作数或运算结果。
算法的基本思想是:
(1)首先设置操作数栈为空栈,符号"@"为运算符的栈底元素;
(2)调用函数Divi(exp,myopnd)得到命题公式包含的命题变元序列myopnd
(按字典序排列,同一个命题变元只出现一次);
(3)依次读入命题公式中的每个字符,若是命题变元则其对应的赋值进OPND栈,
若是运算符,则和OPTR栈的栈顶运算符比较后作相应操作,直至整个命题公式求值完毕。
*/
#include <stdio.h>
#include <math.h>
#include <string.h>
//定义一个结构体
typedef struct optrstack
{
char oper[30];
int loc;
}OPStack;
void initop(OPStack *op)
{
int i;
op->loc=0;
for(i=0;i<30;i++)
op->oper[i]='\0';
}
void push(OPStack *op,char c)
{
op->oper[op->loc++]=c;
}
char pop(OPStack *op)
{
return(op->oper[--op->loc]);
}
typedef struct opndstack
{
int oper[60];
int loc;
}OPndStack;
void initopnd(OPndStack *op)
{
int i;
op->loc=0 ;
for(i=0;i<30;i++)
op->oper[i]='\0';
}
void pushopnd(OPndStack *op, int c)
{
op->oper[op->loc++]=c;
}
int popopnd(OPndStack *op)
{
return(op->oper[--op->loc]);
}
void init(char s[])
{
int t;
printf("\n请输入任意一个命题公式(命题变元为一个字符)\n");
printf("非、析取、合取、条件、双条件词分别用符号!、|、&、-、=表示\n");
gets(s);
t=strlen(s);
s[t]='@';
s[t+1]='\0';
}
int is_optr(char c)
{
char optr_list[]="+-|&!()@";
int i;
for(i=0;i<(int)strlen(optr_list);i++)
if(c==optr_list[i])return 1;
return 0;
}
char first(char op1, char op2)
{
char tab[8][9]={
"><<<<<>>",
">><<<<>>",
">>><<<>>",
">>>><<>>",
">>>>><>>",
"<<<<<<=E",
">>>>>E>>",
"<<<<<<E=",
};
char optr_list[]="=-|&
文档评论(0)