k-girdili bir ikili doğruluk tablosu, k girdi bitini (ikili rakamlar, 0[yanlış] veya 1[doğru]) tek bir çıktı bitine resmeden bir fonksiyondur.
Örneğin, VE ve XOR mantıksal operatörleri için 2-girdili ikili doğruluk tablosu aşağıda veriliyor:
| x | y | x VE y |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
| x | y | x XOR y |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Her (a, b, c, d, e, f) 6-bitlik girdi için,
τ(a, b, c, d, e, f) VE τ(b, c, d, e, f, a XOR (b VE c)) = 0
eşitliğini sağlayan 6-girdili kaç ikili τ doğruluk tablosu vardır?