<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
;;; $Id: beval.tst,v 1.3 2006/09/19 02:04:03 leavens Exp leavens $

(newline)
(displayln "Test case $RCSfile: beval.tst,v $ of $Date: 2006/09/19 02:04:03 $")
(newline)

(run-regression-tests-equal?
 `(
    ( (beval (parse-bexp 'P) #t #f) ==> #t )
    ( (beval (parse-bexp 'Q) #t #f) ==> #f )
    ( (beval (parse-bexp 'P) #f #t) ==> #f )
    ( (beval (parse-bexp 'Q) #f #t) ==> #t )
    ( (beval (parse-bexp '(not P)) #t #f) ==> #f )
    ( (beval (parse-bexp '(not P)) #f #t) ==> #t )
    ( (beval (parse-bexp '(not Q)) #t #f) ==> #t )
    ( (beval (parse-bexp '(not Q)) #f #t) ==> #f )
    ( (beval (parse-bexp '(or (not P) Q)) #t #f) ==> #f )
    ( (beval (parse-bexp '(or (not P) Q)) #f #t) ==> #t )
    ( (beval (parse-bexp '(or P Q)) #f #f) ==> #f )
    ( (beval (parse-bexp '(or P Q)) #f #t) ==> #t )
    ( (beval (parse-bexp '(or P Q)) #t #f) ==> #t )
    ( (beval (parse-bexp '(or P Q)) #t #t) ==> #t )
    ( (beval (parse-bexp '(and P Q)) #f #f) ==> #f )
    ( (beval (parse-bexp '(and P Q)) #f #t) ==> #f )
    ( (beval (parse-bexp '(and P Q)) #t #f) ==> #f )
    ( (beval (parse-bexp '(and P Q)) #t #t) ==> #t )
    ( (beval (parse-bexp '(and P (or Q (not Q)))) #t #f) ==> #t )
    ( (beval (parse-bexp '(and (or P P) (or (or P P) (or Q Q)))) #f #t)
        ==> #f )
    ( (beval (parse-bexp '(and (or P P) (or (or P P) (or Q Q)))) #t #f)
        ==> #t )
    ( (beval (parse-bexp '(or (not (and P P))
			      (and (not (not (and P P)))
				   (not (and P Q))))) #t #f)
        ==> #t )
    ( (beval (parse-bexp '(and (and P Q)
			      (or (and (and (and Q Q)
					    (or (not Q) (not P)))
				       (not (or (and P (not Q))
						(or (not Q) P))))
				  (or (or (or P Q)
					  (not Q))
				      (not (or (and Q (not Q))
					       (and Q Q)))))))
	     #t #t)
      ==> #t )
   ))

(newline)