《程序员的数学》逻辑——真值表