ThobiWanKenobi/LogicInComputerScience

F# Types and Functions for construction of Logical formulas, evaluation, and rewriting arbitrary logic formulas into Conjunctive Normal Form (CNF)

语言：F# · GitHub 星标：0 · Fork：0

话题：conjunctive-normal-form · fsharp · logic · propositional-logic

在 GitHub 上查看原仓库