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: about 1 month 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 5 years ago)
• Default Branch: master
• Last Pushed: 2020-05-20T21:43:17.000Z (almost 5 years ago)
• Last Synced: 2024-11-19T17:54:29.204Z (3 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: 2
• Forks: 2
• 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

![Interface](https://raw.githubusercontent.com/exsandebest/MDNF/master/examples/screenshots/1.png)