文件名称:输出多个命题公式的合取式真值表
文件大小:105KB
文件格式:RAR
更新时间:2015-03-20 16:41:06
离散数学 。合取式。真值表
给出任意变元的合式公式,构造该合式公式的真值表
【文件预览】:
命题
----工程1.dev(944B)
----Makefile.win(767B)
----工程1.exe(425KB)
----main.cpp(596B)
----main.o(11KB)
----thesis.h(4KB)
文件名称:输出多个命题公式的合取式真值表
文件大小:105KB
文件格式:RAR
更新时间:2015-03-20 16:41:06
离散数学 。合取式。真值表
给出任意变元的合式公式,构造该合式公式的真值表