把真相放在桌子上

Question

我为下面的逻辑难题生成了如下真值表：https://brilliant.org/problems/from-signup/the-boxes/no-group/no-input/?signedup=true#=

这是针对车在盒子里的问题，解释如下： 这里有三个箱子，正好其中一个有车。如果你选对了箱子，你就可以保留这辆车！你知道吗

每个盒子上都有一个陈述，其中有一个是真的。你知道吗

盒子A：汽车在这个盒子里。 盒子B：汽车不在这个盒子里。 在车里不是盒子

哪个箱子有车？你知道吗

我想证明，用真值表逻辑地、系统地推导出答案是可能的，并且设计了下面的一个。根据下表，这个问题的答案表明它必须是第二行，因为只有在那一行中才有一个TRUE语句派生出来。你知道吗

我的问题是-有没有一个更简单的方法来构造真值表，这是一个已经正确设计的真值表？你知道吗

为了演示的目的，用Python编写代码的起点是什么？你知道吗