Questi algoritmi descrivono, in formato blif, le funzioni booleane AND, OR, NOT, NAND, NOR, XOR e XNOR.

1.  AND

.model and
.inputs x y
.outputs z
.names x y z
11 1
.end

2.  OR

.model or
.inputs x y
.outputs z
.names x y z
00 0
.end

3.  NOT

.model not
.inputs x
.outputs z
.names x z
1 0
.end

4.  NAND

.model nand
.inputs x y
.outputs z
.names x y z
11 0
.end

5.  NOR

.model nor
.inputs x y
.outputs z
.names x y z
00 1
.end

6.  XOR

.model xor
.inputs x y
.outputs z
.names x y z
01 1
10 1
.end

7.  XNOR

.model xnor
.inputs x y
.outputs z
.names x y z
01 0
10 0
.end