more sublogics for Propositional #2157

Open

Assignees

Labels

opened

on Apr 24, 2024

negation normal form
conjunctive normal form
disjunctive normal form
Horn form

Metadata

Assignees

b-gehrke

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests