A data structure that represents a Boolean Function. A diagram of the BDD can be used to determine if a Boolean Formula representing the Specification is a Tautology.
A data structure that represents a Boolean Function. A diagram of the BDD can be used to determine if a Boolean Formula P representing the Specification is a Tautology.