$1.$ Write a scheme prgram to input a logical expression built using $($at most$)$ The logical connectives $\backslash (1,$ V$,7,\backslash$Rightarrow $\backslash )$ equivalent expression usmy $($at most$)\backslash ($ v $\backslash )$ and $7.$

You need to start with an inductre defmition andan associuted datatype for logical expressions, also do BNF and structural induction for it