Bitverknuepfungen This application can evaluate and visualize binary formulas Features: evaluate formulas show truth table show KV-Diagrams export / import to limbool
