There are two logical constants which can be used to construct sentences <sentences>: true and false. These constants are case sensitive.
The following are examples of well formed sentences which use logical constants:
true
true -> true | false
~^X(false)