计算主合取范式,主析取范式 时间:2020-07-01 10:41:08 【文件属性】: 文件名称:计算主合取范式,主析取范式 文件大小:8KB 文件格式:CPP 更新时间:2020-07-01 10:41:08 C++ 离散数学 通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求:能够列出含三个以内变量的合式公式的真值表,并给出相应的主析取和主合取范式。 立即下载