Two logical statements A and B are logically equivalent if A<=> B. We have two knowledge bases, KB1 and KB2.. Write afunction CHECK_EQUIVALENCE(KB1, KB2) that:
returns true if KB1 and KB2 are logically equivalent.
returns false otherwise.
Your pseudocode can use or modify any code from the textbook orslides, and can call any of the functions given in the textbook orslides, as long as such code and functions are used correctly, withcorrect names for the functions, and with well-specified values forall variables and arguments.