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.