离散数学第二章命题逻辑等值演算

- 第二章命题逻辑等值演算 - - 公式的赋值定义：将给定公式A中所含命题变元指定具体的一组真值，称这组真值为给公式 A的赋值（或解释）。