Reduced binary decision diagram,cnf/dnf converter,truth table,minimized truth table