Java code to convert every logical formula to conjunctive normal form and disjunctive normal form
-
Updated
Jul 21, 2023 - Java
#
logical-foundations
Here are 2 public repositories matching this topic...
This repository contains my solutions to the exercises in the book Logical Foundations by Benjamin C. Pierce et al., which is the first volume of the Software Foundations series
-
Updated
Feb 14, 2026 - Rocq Prover
Improve this page
Add a description, image, and links to the logical-foundations topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logical-foundations topic, visit your repo's landing page and select "manage topics."