Definition Theory of Equality with Uninterpreted Functions (Satisfiability Modulo Theory) Define your knowledge here…