Recursively apply the following laws to a wff:

A and A --> A

A or A --> A

A implies A --> TRUTH

A equiv A --> TRUTH

A and not A, not A and A --> FALSEHOOD

A or not A, not A or A --> TRUTH

A implies not A --> not A

not A implies A --> A

A equiv not A, not A equiv A --> FALSEHOOD.

The command format for MRG* is:

<Ed>MRG* <<GWFF>>

<<GWFF>>

The result replaces the current wff.

© 1988-99, Carnegie Mellon University.