离散数学的代码，可用于实现真值表输出，输出主析取主合取范式，逻辑推理等。