An interactive environment for playing around with propositional logic formulas.
I was reading "Mathematical Logic for Computer Science (Third Edition)" by Mordechai Ben-Ari and wanted to play around with BDD reductions.
An interactive environment for playing around with propositional logic.
JavaScript
An interactive environment for playing around with propositional logic formulas.
I was reading "Mathematical Logic for Computer Science (Third Edition)" by Mordechai Ben-Ari and wanted to play around with BDD reductions.