How to create such data type?

Question

Haskell

I have such a task before me

And here is the example that was presented before (according to which, as I understand it, it is necessary to do it)

I can’t figure out how to make these ~, &, | operations available. After all, these are some kind of service characters, or maybe I don’t understand it correctly, please help me build the data type correctly.
Here's more after the material, just with variables.

Answer 1

I myself am still quite a beginner, but if I understand correctly, then something like this:
Data LogExpr = Const Bool
| Var String
| Not LogExpr
| And LogExpr LogExpr
| Or LogExpr LogExpr