Persamaan awal (F):

Persamaan (G) yang ekivalen dengan persamaan awal (F):

Bukti tabel kebenaran:

Untai gerbang nand:

Untai IC TTL NAND (7400):