用真值表检查有效性

ALIOSS:1:dzzbook/book/258279/55576197_54781566.dzzdoc