'#' is the ternary majority connective. '#pqr' is true iff at least two of 'p', 'q', and 'r', are true. '' is the reversed conditional. pq is true iff p q. + is exclusive or. p + q is true iff p and q have opposite truth values. Let S = {'#','',+}. i) Synthesize 'T' from S. ii) Synthesize 'F' from S. iii) Synthesize '' from {'#','',F}. iv) Synthesize '' from {'#','',F}.

please, no handwriting