Two logical statements A and B are logically equivalent if A B. We have two knowledge bases,
Fantastic news! We've Found the answer you've been seeking!
Question:
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.
Related Book For
Vector Mechanics for Engineers Statics and Dynamics
ISBN: 978-0073212227
8th Edition
Authors: Ferdinand Beer, E. Russell Johnston, Jr., Elliot Eisenberg, William Clausen, David Mazurek, Phillip Cornwell
Posted Date: