Ecosyste.ms: Awesome

Projects in Awesome Lists tagged with logical-formulas

A curated list of projects in awesome lists tagged with logical-formulas .

• Sort

  • Recently synced
  • Stars

https://github.com/androlo/logmor

A web-app used to work with hypotheses and moral rules using booleans and logical formulas.

hypothetical-statements logical-formulas moral-principles moral-rules

Last synced: 21 Dec 2024

https://github.com/mehrab-kalantari/cnf-dnf-convertor

Java code to convert every logical formula to conjunctive normal form and disjunctive normal form

java logic logical-forms logical-formulas logical-foundations

Last synced: 15 Nov 2024