GitHub - DaTouJun/DiscreteMathematical_PropositionalFormulaSolver: DiscreteMathematical

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Exp1命题联结词真值表.py		Exp1命题联结词真值表.py
Exp2_Formula.py		Exp2_Formula.py
Exp2命题公式真值表.py		Exp2命题公式真值表.py
Exp3命题公式的主范式.py		Exp3命题公式的主范式.py
Exp5推理.py		Exp5推理.py
InAndOut.py		InAndOut.py
LICENSE		LICENSE
Readme.md		Readme.md
TestResouce.md		TestResouce.md