你写的是对的。对于三个关系a,b,c，None of are true意思是没有一个是对的，也就是每一个都是错的，因此可以翻译为： not a and not b and not c 提取出not，也就是（注意里面的and需要变成or）： not (a or b or c)