search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Add: Propositional Logic Evaluator #1

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

A good place to start is with a propositional logic evaluator, which takes a formula (represented in some manner) and an assignment (also represented in some manner) and returns a truth value for the formula. This involves designing (roughly) how we want to represent formulae and assignments