离散数学——python实现真值表和打印主范式