Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
and the complexity involved. The standard Boolean operations that can be performed on BDDs include: AND (Conjunction): This operation takes two BDDs representing Boolean functions f and g and produces a new BDD representing f ∧ g. OR (Disjunction): Similar to AND, but for the logical OR operation.