These are the Haskell language questions. Please write in Haskell not in C or Java

This is a function that checks whether it contains no s or s.

A propositional formula is simple when it contains no s or s.

So if it contains s or s then it is false.

The second question

* Problem 1 (10 points): isSimple Write a function sSimple : : Prop --> Bool that tests whether a proposition is simple. simplify Prop -> Prop that recursively translates a proposition to an equivalent simple one For this translation, the following equivalences will be useful: Testing for isSimple and simplify. Run (and pass): VrunTestTT testsSimp V quickCheck simpl_prop V quickCheck simp2_prop DEFINITION. A propositional formula F is is in negation normal form (abbreviated: NNF) when: & and V are the only binary connectives F uses and the only place a ~ appears in F is before a variable