The majority operator M(z, y, z) with three input propositional variables has value T exactly when at least two of its inputs are set to T. For example, M(T, F, T) = T but M(F F, T) = F. Using only NOT, OR, an AND gate OR gate draw the diagram of a circuit with three inputs a, y, z whose output is the majority function. The NAND operator takes two propositions and evaluates to F when both propositions are T and evaluates to T otherwise; in other words, it is given by the truth table Find a compound proposition whose only operation is NAND and that is logically equivalent to M(r, y, z)