计算命题逻辑真值数据结构

所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符AND、OR、NOT按一定规则所组成的公式（蕴含之类的运算可以用与或非来表示）。公式运算的先后顺序为非、与、或，而括号（）可以改

Review propositional logic

Propositional logic (mathematical logic)

用C语言实现的，输入任意命题公式，然后确定各个变量的值，程序会给出最后的结果（真或者假）大家可以对程序做一点小小的改动，根据自己的需要，有什么问题可以联系我QQ316921732

C, C++ data structure course design calculation of the true value of propositional calculus formula

详细介绍了命题逻辑的基本知识，比课本上的要好些

离散专业课数字逻辑课件专业详细版由浅入深

南开大学离散数学上课时用的课件，内容翔实，具有很大的用处

True value course design report for calculating propositional calculus formula

实现了命题逻辑的归结推理