Copyright © – Sudharsan Iyengar and Winona State University

Lisp Project: CS-415 Spring 2023 Due by end of : 4/18/23

A Boolean expression is of the form

(and a b c d) or (and (or b c) (not a) (and c d)) – or any combination thereof

Where a,b,c,d are propositions

Truth set is given in the form

((a t) (b f) (c t) (d t)) where a is true, b is false, c is true and d is true.

Write Lisp function myevalb – which takes in a Boolean expression as described above, and a (sufficient) truth set as described above, and returns the value of the evaluated boolean expression (T or NIL).