Implement naive to_CNF #21

New issue

Copy link

New issue

Copy link

Open

Open

Implement naive to_CNF#21

Copy link

Assignees

Labels

enhancementNew feature or requestNew feature or request

Description

haz

opened on Aug 29, 2020

Issue body actions

Via de Morgan's.

Reactions are currently unavailable

Activity

1. haz

   added

   enhancementNew feature or requestNew feature or request

   on Aug 29, 2020
2. haz

   assigned

   karishmadaga

   on Sep 8, 2020

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

• 
  karishmadaga

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app