Two logical statements A and B are logically equivalent if A <=> B. We have two knowledge bases, KB1 and KB2.. Write a function 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 or slides, and can call any of the functions given in the textbook or slides, as long as such code and functions are used correctly, with correct names for the functions, and with well-specified values for all variables and arguments.