Le critère d'indépendance binaire -LRB- BIC -RRB- indique que les bits de sortie j et k doivent changer indépendamment lorsqu'un seul bit d'entrée i est inversé, pour tous i, j et k.
Le critère d'indépendance de Bit -LRB- BIC -RRB- stipule que les bits de sortie j & k doivent changer indépendamment lorsqu'un seul bit d'entrée i est inversé, pour tous i, j et k.