在命题逻辑中,五个常用逻辑联结词是最基本的概念,它的计算是后续合式公式值的计算的基础。目的是将五个常用逻辑联结词的计算过程封装成五个函数,并测试简单的公式求值。以便熟悉五个常用逻辑联结词的基本概念,并...
准备知识
在命题逻辑中,五个常用逻辑联结词是最基本的概念,它的计算是后续合式公式值的计算的基础。
(1)真值的表示:整数0表示真值为假,整数1表示真值为真。(2)否定逻辑联结词:当实参为0时,返回1,否则返回0。(3)合取逻辑联结词:当两个实参同时为1时,返回1,否则返回0。(4)析取逻辑联结词:当两个实参同时为0时,返回0,否则返回1。(5)条件逻辑联结词:当条件的前件为1,后件为0时,返回0,否则返回1。(6)双条件逻辑联结词:当双条件的左右同时为0,或同时为1时,返回1,否则返回0。
目的是将五个常用逻辑联结词的计算过程封装成五个函数,并测试简单的公式求值。以便熟悉五个常用逻辑联结词的基本概念,并编程求值。
参考代码
#include//Member funtions and define int negation(const int p); int disjunction(const int p, const int q); int conjunction(const int p, const int q); int biconditional(const int p, const int q); int PropostionalCompute(const int p, const int q ,const char ch); // Negation function int negation(const int p) {	return p == 0 ? 1 : 0; } //Conjuciton function int conjunction(const int p, const int q) {	return (p != 0 && q != 0) ? 1 : 0; } //Disjunciton function int disjunction(const int p, const int q) {	return (p == 0 && q == 0) ? 0 : 1; } //Condit