T1t4m1un / DiscreteLogicEvaluator

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

Geek Repo

Github PK Tool