Helper-Tools for the 1st semester modules "Diskrete Strukturen" and "Einführung in die Rechenarchitektur" @TU-Munich

Einführung in die Rechenarchitektur

1- ROBDDs (Reduced Ordered Binary Decision Diagrams)

The script executes a boolean arithmetic operation on two ROBDDs and plots them along with the results.
Run pip install pyeda and pip install graphviz first. insert the the boolean function (cnf/dnf) in both F and G and alter the boolean arithmetic operation in F_mit_G.