Suppose the set F of functions for a framework are all of gen-kill form. That is, the domain V is the power set of some set, and f(x) = G U (x — K) for some sets G and K. Prove that if the meet...

Suppose the set F of functions for a framework are all of gen-kill form. That is, the domain V is the power set of some set, and f(x) = G U (x — K) for some sets G and K. Prove that if the meet operator is either (a) union or (b) intersection, then the framework is distributive.

What happens if you apply node-splitting and T\-T2 reduction alternately, to reduce a complete directed graph of n nodes?