$]=[16$ Marks

i$)$ Consider a language of propositional logic formulas using only

a$.$ Atomic Propositions

b$.$ The atomic value FALSE

c$.$ The ternary operator $M$ is defined as follows:

$M({}_1,{}_2,{}_3)$ is TRUE if and only if the majority $($i$.$e$.$ two or more$)$ of ${}_1,{}_2$ and ${}_3$ evaluate to FALSE.

Argue that this set of features is adequate i$.$e$.$ all propositional formulas can be rewritten using these.