Name		Name	Last commit message	Last commit date
app		app
.dockerignore		.dockerignore
.gitignore		.gitignore
.travis.yml		.travis.yml
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
docker-compose.yml		docker-compose.yml
requirements.txt		requirements.txt

Repository files navigation

Mathematical logic calculator

Calculating prime conjunctive (PCNF), disjunctive normal forms (PDNF) and their minimal forms (MCNF, MDNF).

About

Calculating prime conjunctive (PCNF), disjunctive normal forms (PDNF) and their minimal forms (MCNF, MDNF).

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages