python - 在 python 中制作真值表

Question

我在做一些与用 Python 制作真值表相关的作业时遇到了一些麻烦。我试过去 Office Hours，但他们什么都不知道，所以我得问问你们。

问题是:

--

在这个问题中，您将实现为带变量的公式打印真值表的函数。您可以使用以下辅助函数，它会打印制表符分隔的值列表。

def prints(values):
    print("\t".join([str(value) for value in values]))

上面的函数可以如下使用

prints([True, False, True])
True   False  True

您还可以使用以下辅助函数，它返回函数参数名称的列表:

def variables(f):
    return list(f.__code__.co_varnames)

上述函数可以如下使用:

def h(x,y,z): return (y or x) and (not(z) <= x)

variables(h)
['x', 'y', 'z']

A:实现一个函数 truthtableXY(f)，它将单个函数 f 作为其输入(即，对应于您在上面问题 #2 中定义的公式的 Python 函数)。您可以假设 f 有两个 boolean 参数 x 和 y。该函数应打印 f 的真值表。

def f(x,y): return x and y

truthtableXY(f)
y      x      formula
True   True   True
True   False  False
False  True   False
False  False  False

B:实现一个递归函数 truthtable(f)，它将单个函数 f(即对应于公式的 Python 函数)作为其第一个参数。函数 f 可以接受任何非零数量的参数。该函数应打印 f 的真值表。

def h(x,y,z): return (y or x) and (not(z) <= x)

truthtable(h)
x       y       z       formula
True    True    True    False
True    True    False   False
True    False   True    False
True    False   False   False
False   True    True    True
False   True    False   False
False   False   True    False
False   False   False   False

您的 truthtable() 函数应该采用递归回溯方法，并且可以按如下方式组织:

• 该函数应该有第二个参数值，默认值为 []，这将是该函数构建并最终传递给 f 的值列表；
• 如果列表值为空，该函数应打印包含所有变量名称的一行(每个变量一个列标题)；
• 如果列表 values 与 f 的变量列表长度相同，则函数应打印一行值，其中包含 values 中的所有值，以及将 f 应用于该值列表的结果(使用*-将 f 应用于参数列表的运算符);
• 如果列表值比 f 的变量列表短，函数应该对 truthtable() 进行递归调用，并对 truthtable() 的参数进行适当的更改。

C:实现一个函数 rows(f)，它将单个函数 f(即对应于公式的 Python 函数)作为其第一个参数。该函数应返回 f 的真值表中的行数。

def h(x,y,z): return (y or x) and (not(z) <= x)

rows(h)
8

--

我设法做了 A，并得到了这个答案:

def truthtableXY(f):
    prints(['y', 'x', 'formula'])
    for x in [True, False]:
        for y in [True, False]:
            prints([x, y, f(x,y)])

哪个有效。但我根本不知道如何做其他事情。

有谁知道/可以算出答案吗？

顺便说一句，这里是带作业的原始网站:http://cs-people.bu.edu/lapets/131/m.php?#2.4 (问题三)

先谢谢大家了! :)

Answer 1

对于 B，你想要:

def truthtable(f, values=None):
    if values is None:
        prints(variables(f) + ["formula"])
        values = []
    # print values 
    if len(values) == len(variables(f)):
        prints(values + [f(*values)])
    else:
        for b in [True, False]:
            truthtable(f, values + [b])

这如何符合您的规范:

• 该函数应该有第二个参数 values 和一个默认值[] 的值，它将是函数构建的值列表并最终传递给 f； - 不完全是，“可变默认参数”在 Python 中是一个糟糕的举动，但我有 values 并在第一次调用 truthtable 时将其设为空列表/em>

• 如果列表 values 为空，函数应该打印包含所有变量名称的行(一列每个变量的标题)； - 在初始化 value

的同时完成

• 如果列表 values 的长度与f 的变量列表，函数应该打印一行值包含 values 中的所有值，以及将 f 应用于该值列表(使用 * 运算符将 f 应用于参数列表)； - 第二个 if block

• 如果列表 values 比列表短f 的变量，函数应该递归调用truthtable()，适当修改参数真实表()。 - 最后的 for 循环。

关于最后一部分的更多解释；您需要构建 True 和 False 的组合以作为参数传递给 f，因此您可以递归调用(即从自身内部调用函数) truthtable 首先是 True，然后是 False，每次都添加到列表中，直到参数数量正确为止。取消注释 print values 以观察在解释器中发生的情况。