T1t4m1un/DiscreteLogicEvaluator

本项目是一个离散数学课程实验，目的是使用真值表法来计算主析取范式和主合取范式。

C++GPL-3.0