Function andn 

pub fn andn<FA: FieldAlgebra>(x: FA, y: FA) -> FA

Computes the arithmetic generalization of andnot.

For boolean inputs (!x) & y = (1 - x)y