Element 'disjunctive forms of functions'