A framework to express variant and invariant functional spaces for binary logic