https://github.com/exsandebest/mdnf
Minimal disjunctive normal form (MDNF): Table and Result in Qt
https://github.com/exsandebest/mdnf
boolean-algebra boolean-function boolean-logic logical-function mdnf minimal-disjunctive-normal-form qt table
Last synced: 3 months ago
JSON representation
Minimal disjunctive normal form (MDNF): Table and Result in Qt
- Host: GitHub
- URL: https://github.com/exsandebest/mdnf
- Owner: exsandebest
- License: mit
- Created: 2019-12-05T17:52:30.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-20T21:43:17.000Z (over 5 years ago)
- Last Synced: 2025-04-02T00:35:33.717Z (9 months ago)
- Topics: boolean-algebra, boolean-function, boolean-logic, logical-function, mdnf, minimal-disjunctive-normal-form, qt, table
- Language: C++
- Homepage:
- Size: 1.36 MB
- Stars: 3
- Watchers: 1
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
# MDNF
Minimal disjunctive normal form: Table and Result
You can enter a boolean function and get Minimal disjunctive normal form of this function
## Features
* **1-6** Variables
* **All** results with minimal length
* Loading animation
* Input logical function with **decimal** and **binary** number
* **Double-click** to **change function value** in the table
## Interface - example
