离散数学主范式,真值函数,联结词
发布人