命题公式用真值表实现 程序说明文档
2023 级计科二班 202301020210 蒋怡
1.作品描述
本程序是用于解决简单的命题公式将其转化为真值表的问题，但不
可解决含有否定的命题公式，且仅限于二元变量。如 p16 页的例题
6，输入一个公式，将其转化为真值表。
联结词
键盘输入
∧
&
∨
|
↔
+
→
*
2.使用的程序开发工具
开发语言：C 语言
开发环境：Microsoft Studio 2022
3.运行效果
计二202301020210蒋怡.zip （3个子文件） 
计二202301020210蒋怡 
命题公式用真值表实现.exe 57KB
作品说明.doc 64KB
源文件.txt 2KB
