An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: logical-foundations

Mehrab-Kalantari/CNF-DNF-Convertor

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

Language: Java - Size: 17.6 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1