Support reduction rule, tautologies, and contradictions

[connorjayr]

Is your feature request related to a problem? Please describe.
Willow currently has no way to express a tautology or contradiction.

Describe the solution you'd like
The user should be able to input the tautology and contradiction symbols where appropriate, and the logic engine should verify when these statements are correctly decomposed.

Describe alternatives you've considered
There are no alternatives to this feature request.

Additional context
There is no additional context.