离散数学——真值表判断

NoSuchKey