离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等