Boolean derivative

(algebra) With respect to a Boolean variable x_i: The XOR-sum of the positive and negative Shannon cofactors of the given derived function with respect to x_i. In symbols: ∂f/∂x_i(⃑x)=f_x_i(⃑x)⊕f_̄x_i(⃑x).