必做题—命题公式真值表输出 已知命题公式A=﹁( p q ) ( (p r) s)，用JAVA或C/C++语言编写程序构造该命题公式的真值表，真值表输出样式自己设计(变量值可以不手工输入)，编制程序、画流程图、解释核心程序段、展示结果、心得描述等，撰写并提交实践报告。（评分：及格、中等） -------------------------------------------------------------------------- 选做题—函数曲线的离散化 考虑x(t)=-2tsin(t2)，0≤t≤8，从0开始，以△t=0.01、0.02、0.04、0.08、0.1、0.25、0.5、1等为间隔(△t的值可结合自己的绘制效果修改)，分别绘制不同△t下的x(t)的离散曲线。每个离散样本点可用‘*’显示(也可以自行选用其它符号)，程序采用JAVA或C/C++语言实现(可采用第三方库函数)。对于每个△t，注意观察函数信息损失的情况，解释核心程序段，总结分析，编制程序并编写实践报告（评分：良好）。 、

给出任意变元的合式公式，构造该合式公式的真值表

这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 1.利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 2.逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。

用c语言做命题公式真值表（仅支持交，并，非三种运算符）

所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。

真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。

命题公式合法性的判定

1. 题目：对输入的表达式判断其是否是合法的命题公式 2. 要求：有关命题公式的定义，请严格使用我们使用的教材上的定义。五种联接词的规定如下：  非：！  与：+  或：-  蕴含：$  等价：#

c++程序判断离散数学中命题公式，MFC开发