Which process makes different logical expression looks identical?

• A. Lifting
• B. Unification
• C. Inference process
• D. None of the mentioned