char arr[LEN]; //用来存放2^n次方个字符,n表示变量个数 int brr[LEN][4+10]; //brr用来存放真值表 int beg = 80; //字符P对应的ASCII码 int sta1 = 0, sta2 = 0; //sta1表示真值为T的个数,sta2表示真值为F的个数 int main() { // freopen("datain.txt", "r", stdin); memset(br...
南邮| 离散数学实验一:利用真值表法求取主析取范式以及主合取范式的实现,程序员大本营,技术文章内容聚合第一站。
* Author: Tob_yuhong * Function: 针对给定的包含任意个变量的真值表,编程实现用真值表法求取其所对应的主析取范式和主合取范式。 * 运行环境:Code::Blocks 13.12 */ #include <iostream> #include <cstdio> #include <cstdlib> #include <vector> #include <cstring> #include <cmath> #include <fstream...