Skip to content

Latest commit

 

History

History

Bitverknuepfungen

Bitverknuepfungen

This application can evaluate and visualize binary formulas

Features:

  • evaluate formulas
  • show truth table
  • show KV-Diagrams
  • export / import to limbool