В основе метода лежит применение частных производных булевых  функций.
  F(x) = f(x1,x2, …  , xn) при этом и  значение xi и выходная функция могут принимать значение либо «0» либо  «1». Тогда 
   
 
  Свойство:
    
  
  
-  
  
  
 , f(x)=xi , f(x)=xi
 С помощью этих функций можно найти выходные фунции.
  
dF(x1,x2, … , fk)/dfk = 1
  Тогда для обнаружения нуля должно быть единица.
  Пример:
  