离散数学 Lab 1 命题逻辑 Explanation 老师并没有要求采用何种语言进行编写，这里还是优先采用了 C 语言。 在大部分程序设计语言中包含一定的逻辑/位运算符号，如：&(与) |(或) !(非) ^(异或) 等, 对应命题逻辑中的部分联结词，在书写程序的时候可以直接使用. 但为了表示出命题与命题变元之间的真值关系, 在本文中在多…