编程实现联接词的真值： 从键盘输入两个命题p和q的真值，输出它们的否定、析取、合取、蕴含和等价联接词的真值。

p = input("请输入命题p的真值（T或F）：")
q = input("请输入命题q的真值（T或F）：")

# 对输入的真值进行判断，将其转化为bool类型
if p == 'T':
    p = True
else:
    p = False

if q == 'T':
    q = True
else:
    q = False

# 计算联接词的真值
not_p = not p
not_q = not q
or_pq = p or q
and_pq = p and q
if_p_then_q = not p or q
if_and_only_if_pq = (not p or q) and (not q or p)

# 输出计算结果
print("p的否定：", not_p)
print("q的否定：", not_q)
print("p或q：", or_pq)
print("p且q：", and_pq)
print("若p则q：", if_p_then_q)
print("p等价于q：", if_and_only_if_pq)

示例输入：

请输入命题p的真值（T或F）：T
请输入命题q的真值（T或F）：F

示例输出：

p的否定： False
q的否定： True
p或q： True
p且q： False
若p则q： False
p等价于q： False

相关问题

c++写一段程序，测试p和q两个逻辑表达式是否逻辑相等 用真值表判断 输入的逻辑表达式为命题逻辑表达式 输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件

如下是一个简单的程序示例：

#include <stdio.h>

int main() {

// 输入 p 和 q 两个逻辑表达式

char p[100], q[100];

printf("Enter the first expression p: ");

scanf("%s", p);

printf("Enter the second expression q: ");

scanf("%s", q);

// 构建真值表

int values[16][2];

for (int i = 0; i < 16; i++) {

int p_val = (i >> 3) & 1;

int q_val = (i >> 2) & 1;

int and_val = (p_val & q_val);

int or_val = (p_val | q_val);

int not_p_val = (!p_val);

int not_q_val = (!q_val);

int imp_val = (!p_val) | q_val;

values[i][0] = and_val;

values[i][1] = or_val;

values[i][2] = not_p_val;

values[i][3] = not_q_val;

values[i][4] = imp_val;

}

// 求出两个逻辑表达式的真值

int p_val = 0, q_val = 0;

for (int i = 0; i < 16; i++) {

if (!strcmp(p, "p")) {

p_val = values[i][0];

} else if (!strcmp(p, "q")) {

p_val = values[i][1];

} else if (!strcmp(p, "~p")) {

p_val = values[i][2];

} else if (!strcmp(p, "~q")) {

p_val = values[i][3];

} else if (!strcmp(p, "p->q")) {

p_val = values[i][4];

} else {

printf("Invalid expression: %s", p);

return 1;

}

if (!strcmp(q, "p")) {

q_val = values[i][0];

} else if (!strcmp(q, "q")) {

q_val = values[i][1];

} else if (!strcmp(q, "~p")) {

q_val = values[i][2];

} else if (!strcmp(q, "~q")) {

q_val = values[i][3];

} else if (!strcmp(q, "p->q")) {

q_val = values[i][4];

} else {

printf("Invalid expression: %s", q);

return 1;

}

// 判断两个逻辑表达式是否逻辑相等

if (p_val != q_val) {

printf("The expressions are not equivalent");

return 0;

}

}

printf("The expressions are equivalent!");

return 0;

}

请注意，这只是一个示例程序，可能存在一些漏洞和限制。在实际使用中，应该考虑更多的特殊情况，并进行充分测试。

写一段程序，测试p和q两个逻辑表达式是否逻辑相等 用真值表判断 输入的逻辑表达式为命题逻辑表达式 输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件

以下是一个 Python 代码示例，用于测试两个逻辑表达式是否逻辑相等：

def test_logic_equivalence(p, q):
    # 构建真值表
    truth_table = [(True, True), (True, False), (False, True), (False, False)]

    # 计算p和q在各种真值下的结果
    p_results = [eval(p, {"__builtins__": None}, {"p": p_val, "q": q_val}) for (p_val, q_val) in truth_table]
    q_results = [eval(q, {"__builtins__": None}, {"p": p_val, "q": q_val}) for (p_val, q_val) in truth_table]

    # 判断p和q是否逻辑相等
    return p_results == q_results

这个函数接受两个逻辑表达式 `p` 和 `q` 作为输入，并构建一个真值表。然后，它计算 `p` 和 `q` 在真值表中的每个可能值下的结果，并将这些结果存储在两个列表中。最后，它通过比较这两个列表来判断 `p` 和 `q` 是否逻辑相等。

注意，这个函数使用了 Python 中的 `eval` 函数来计算逻辑表达式的结果。为了避免在 `eval` 中使用危险的代码，我们传递了一个空的 `__builtins__` 字典，并将 `p` 和 `q` 作为局部变量传递。