---
name: "notBdd"
section: "3"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/notBdd"
---

# notBdd(3)

complements a BDD

## NAME

**notBdd** - complements a BDD

## SYNOPSYS

```
#include "logmmm.h"
pNode notBdd(pBdd)
pNode pBdd;
```

## PARAMETER

- *pBdd*

  BDD to complement

## DESCRIPTION

**notBdd()** applies NOT operator to *pBdd*.

## EXAMPLE

```
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pNode nodeA;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
displayBdd(notBdd(nodeA),1);
/* it will display
@nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO
*/
destroyBdd(1);
```

## SEE ALSO

[**log**(1)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**applyBinBdd**(3)](/applyBinBdd/3.md), [**applyBdd**(3)](/applyBdd/3.md), [**constraintBdd**(3)](/constraintBdd/3.md), [**composeBdd**(3)](/composeBdd/3.md), [**addListBdd**(3)](/addListBdd/3.md), [**displayBdd**(3)](/displayBdd/3.md), [**createNodeTermBdd**(3)](/createNodeTermBdd/3.md).