真值表编程
‘壹’ 怎么用C语言写一个程序，判断真值表的
//---------------------------------------------------------------------------
#include <stdio.h>
int main(void)
{
int p,q;
printf("%9c!P\t!Q\tP&Q\tP|Q\tP^Q\n");
for (p=0; p<2; p++) {
for (q=0; q<2; q++) {
printf("P=%d,Q=%d\t%3d\t%2d\t%2d\t%2d\t%2d\n",p,q,!p?1:0,!q?1:0,p&&q?1:0,p||q?1:0,p^q?1:0);
}
}
return 0;
}
//---------------------------------------------------------------------------
‘贰’ 用C语言编程：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式
A-Z + is OR * is AND _ is → # is⊕(圆圈里加个+) @ is ⊙
$ is ↑ 命题的"与非" 运算( "与非门" )
% is ↓ 命题的"或非"运算( "或非门" )
Input the source formula:
A*!S+R
NORMALc: (!A*!B*!R)+(A*!B*!R)+(!A*B*!R)+(A*B*!R)+(!A*!B*R)+(!A*B*R)+(A*B*R)
NORMALd (!A+B+!R)
Error!
Input the source formula:
A#B
Here!
4countTerms
NORMALc: (A*!B)+(!A*B)
NORMALd (A+B)*(!A+!B)
Error!
Input the source formula:
stack<char> stk;
bool isVar(char ch)const;
void addMin(int minterm);
void addMax(int maxterm);
bool compute(int minterm);
void getInversePoland();
int countTerms(int n);
void assign(int minterm);
stack<bool> boolStk;
public:
formulaBase();
formulaBase(const formulaBase& rhs);
~formulaBase();
void getSource();
cout<<"Invalid input !"
"Operate again:"<<endl;
cin>>sourceFormula;*/
}
void formulaBase::getInversePoland()
{
char temp,temp1;
for(int i=0;sourceFormula[i]!=' ';i++)
stk.pop();
}
else break;
}
stk.push(temp);
break;
case '*':
while (!stk.empty())
//从键盘上任意输入一个主析取范式，输出与之等值的主合取范式。┐∧∨
# include <iostream>
# include <cmath>
# include <windows.h>
using namespace std ;
(2)真值表编程扩展阅读：
(1)命题变项是命题公式。
(2)如果A是命题公式，则¬A是命题公式。
(3)如果A和B是命题公式，那么(A∧B)、(A∨B)、(A→B)和(A↔B)都是命题公式。
(4)当且仅当有限次地应用(1)，(2)，(3)所得到的包含命题变项，联结词和圆括号的符号串是命题公式。
命题公式的定义是一个递归定义形式。命题公式本身不是命题，没有真值，只有对其命题变项进行赋值后，它才有真值。
5个联结词运算儿有不同的优先级。当它们同时出现在一个命题公式里时，联结间运算的优先次序为、∧、∨、→、，如果有括号，则括号内的运算优先进行。
‘叁’ 什么是异或操作写出一或的运算真值表并且是其物理意义
操作写出以后的预算指标，这个就是说在进行编程的过程当中，物理意义的一个调试。
它对于我们在真正的判断具体范围的时候值域有关。
‘肆’ 要求输入任意一公式，程序自动生成其真值表。
去搜个计算器的实现，把加减乘除改成 与 或 非这种逻辑运算。
保证计算结果正确性之后，给每个变量赋0和1，得出的结果画真值表，相当于用到运算结果，但是要调用n次，n就是2的运算数次幂，你自己再补个画表的功能就行了。
既然不让用链表，就用数组，#define出运算符。
‘伍’ 如何用C语言做出“构造命题公式的真值表”的程序~
有3种
1.
#include <stdio.h>
#include <string.h>
int main(void)
{
int nNum1,nNum2;
printf("请输入第一个整数：");
scanf("%d",&nNum1);
printf("\n请输入第二个整数：\n");
scanf("%d",&nNum2);
printf("\n输入的两个数为：%d,%d,其大小关系为：",nNum1,nNum2)
if(nNum1 < nNum2){
printf("%d < %d",nNum1,nNum2);
}else
printf("%d > %d",nNum1,nNum2);
return 0;
}
2.
#include <stdio.h>
#include <string.h>
int main(void)
{
int i,nNum,nSum=0;
int a[10]={0};
for(i=0;i<10;i++){
printf("请输入第%d个整数：\n",i+1);
scanf("%d",&a[i]);
}
for(i=0;i<10;i++){
if(a[i]>0){
nSum+=a[i];
nNum++;
}
}
printf("输入的正整数有%d个，其平均值为：%f",nNum,(float)nSum/nNum);
return 0;
}
3.
#include <stdio.h>
#include <string.h>
int main(void)
{
int a[3],nMin,nMax;
int i;
for(i=0;i<3;i++){
printf("请输入第%d个整数：\n",i+1);
scanf("%d",&a[i]);
}
nMin=nMax=a[0];
if(nMin<a[1]){
nMin=a[1];
}
if(nMin<a[2]){
nMin=a[2];
}
if(nMax>a[1]){
nMax=a[1];
}
if(nMax>a[2]){
nMax=a[2];
}
printf("输入的三个数为：%d,%d,%d,最大值为：%d,最小值为：%d",a[0],a[1],a[2],nMax,nMin);
return 0;
}
追分哦！！！！！！！！！！！
‘陆’ 如何用C或C+编程序实现:从键盘任意输入一个命题公式，用真值表法判断其类型
#include<iostream>
#include<string>
using namespace std;
string calcValue(string value1);
string calcValueNop(string value1);
string caclAnd(string x,string y);
string caclOr(string x,string y);
string caclNot(string x);
int main()
{ string in,varList="";//="!a+b^c"
cout<<"请输入命题公式： 注意: !,^,+,(,),字母为合法,不要有数字、空格，括号也要匹配！"<<endl;
cin>>in;
cout<<"输入命题公式"<<in<<"的真值表如下："<<endl;
int length=in.length();
for(int i=0;i<length;i++)
{
char code=in[i];
if( ((code>=97)&&(code<123)||((code>=65))&&(code<81))&&varList.find(code,0)==-1 )
varList+=code;
}
int n=varList.length();
for(i=0;i<n;i++)
cout<<varList[i]<<"\t";
cout<<in<<"\t\t"<<"值"<<endl;
int m=1;
int flag;
char *trow=new char[n];
for(i=0;i<n;i++){m*=2;trow[i]='0';}
for(i=0;i<m;i++)
{
for(int j=0;j<n;j++)
cout<<trow[j]<<"\t";
string value1=in;
for(j=0;j<n;j++)
{
char x=varList[j];
for(int k=0;k<length;k++)
if(value1[k]==x)
value1[k]=trow[j];
}
cout<<value1<<"\t\t"<<calcValue(value1)<<endl;
flag=1;
for(j=n-1;j>-1;j--)
{ int temp;
temp=int(trow[j])-48;
flag=flag+temp;
if(flag==2)
{
trow[j]='0';
flag=1;
}
else
{
trow[j]='1';
flag=0;
break;
}
}
}
delete trow;
return 0;
}
string calcValue(string value1)
{
int nlp=value1.find('(',0);
int nrp=value1.length();
string x="",v="";
int i=nlp+1;
while(nlp>=0)
{
x=value1.substr(i,1);
if(x=="(")
{
nlp=i;
i++;
}
else
{
if(x==")")
{
nrp=i;
v=calcValueNop(value1.substr(nlp+1,nrp-nlp-1));
value1=(nlp>0?value1.substr(0,nlp):"")+v+((nrp+1)<=value1.length()?value1.substr(nrp+1):"");
nlp=value1.find('(',0);
i=nlp+1;
}
else
{
i=i+1;
}
}
if(i>=value1.length())
{
nlp=value1.find('(',0);
i=nlp+1;
}
}
return calcValueNop(value1);
}
string calcValueNop(string value1)
{
int nnot=value1.find('!',0);
while(nnot>=0)
{
value1=(nnot>0?value1.substr(0,nnot):"")+caclNot(value1.substr(nnot+1,1))+((nnot+2)<=value1.length()?value1.substr(nnot+2):"");
nnot=value1.find('!',0);
}
int nand=value1.find('^',0);
while (nand>0)
{
value1=((nand-1)>0?value1.substr(0,nand-1):"")+caclAnd(value1.substr(nand-1,1),value1.substr(nand+1,1))+((nand+2)<=value1.length()?value1.substr(nand+2):"");
nand=value1.find('^',0);
}
int nOr=value1.find('+',0);
while (nOr>0)
{
value1=((nOr-1)>0?value1.substr(0,nOr-1):"")+
caclOr(value1.substr(nOr-1,1),value1.substr(nOr+1,1))+
((nOr+2)<=value1.length()?value1.substr(nOr+2):"");
nOr=value1.find('+',0);
}
return value1;
}
string caclAnd(string x,string y)
{
if ((x=="1") && (y=="1"))
{
return "1";
}
else
{
return "0";
}
}
string caclOr(string x,string y)
{
if ((x=="0") && (y=="0"))
{
return "0";
}
else
{
return "1";
}
}
string caclNot(string x)
{ if (x=="1")
{
return "0";
}
else
{
return "1";
}
}
‘柒’ 用C++编程构造(P∧(P→Q))→Q的真值表
(P∧(P->Q))->Q
p->Q等价于(┐P)∨Q写成C/C++语言就是(!P)||Q
P∧(P->Q)等价于P∧((┐p)∨Q)写成C/C++就是P&&((!P)||Q))
(P∧(P->Q))->Q等价于(┐(P∧((┐p)∨Q)))∨Q写成C/C++语言就是(!(P&&((!P)||Q))))||Q
Programe Code:
#include <iostream>
using namespace std;
int main()
{
int Q,P;
cout<<"P Q (P∧(P->Q))->Q\n";
for(P=0;P<=1;P++)
for(Q=0;Q<=1;Q++)
cout<<P<<" "<<Q<<" "
<<((!(P&&((!P)||Q)))||Q)<<endl;
}
//运行结果
P Q (P∧(P->Q))->Q
0 0 1
0 1 1
1 0 1
1 1 1
其实你可以将表达式化简:
┐(P∧((┐p)∨Q))∨Q
<=> ┐((P∧┐p)∨(P∧Q)))∨Q
<=> ┐(0∨(P∨Q)))∨Q
<=> 1 ∨((┐(P∨Q))∨Q)
<=> 1
‘捌’ 用编程方法实现任意一个表达式的真值表
这个，不能有