Given two Boolean functions f and g. Assume both functions are represented as shared BDDs. Develop an approach using the ITE-operator to find out whether f is the complement of g. In other words, your approach should be able to answer the question whether two BDDs are complements of each other, without using the complement operation.