0. #lang racket
1. (require rackunit)
2. (require rackunit/text-ui)
3. (require racket/format) ; needed to use ~a to convert integers to strings
4.  
5. ; Pre-defined functions
6. (define (is-constant? E) (or (equal? E 'TRUE) (equal? E 'FALSE)))
7. (define (is-variable? E) (not (or (list? E) (is-constant? E) (equal? E 'OR) (equal? E 'AND)
8.                                   (equal? E 'NOT) (equal? E 'IMPLIES) (equal? E 'EQUIV))))
9. (define (is-OR? E) (and (list? E) (equal? (length E) 3)(equal? (first E) 'OR) (legal? (second E)) (legal? (third E))))
10. (define (is-XOR? E) (and (list? E) (equal? (length E) 3)(equal? (first E) 'XOR)(legal? (second E)) (legal? (third E))))
11. (define (is-AND? E) (and (list? E) (equal? (length E) 3) (equal? 'AND (first E))(legal? (second E)) (legal? (third E))))
12. (define (is-NOT? E) (and (list? E) (equal? (length E) 2)(equal? 'NOT (first E))(legal? (second E))))
13. (define (is-IMPLIES? E) (and (list? E) (equal? (length E) 3)(equal? 'IMPLIES (first E))(legal? (second E)) (legal? (third E))))
14. (define (is-EQUIV? E) (and (list? E) (equal? (length E) 3)(equal? 'EQUIV (first E))(legal? (second E)) (legal? (third E))))
15. (define (legal? E)(or (is-constant? E)(is-variable? E)(is-OR? E)(is-XOR? E)(is-AND? E)(is-NOT? E)(is-IMPLIES? E)(is-EQUIV? E)))
16.  
17. #|
18. Also, here is an example of a useful utility function (you may
19. also wish to use it in the cnf function you implement yourself)
20.  
21. input contract: E is the representation of the logical expression, expr
22. output contract: (noANDs? E) returns #t if there are no conjunctions in expr, and #f otherwise.
23. |#
24. (define/contract (noANDs? E)
25.   (-> legal? boolean?)
26.   (cond
27.     [(or (is-variable? E) (is-constant? E)) #t]
28.     [(is-AND? E) #f]
29.     [(is-NOT? E) (noANDs? (second E))]
30.     [else (and (noANDs? (second E)) (noANDs? (third E)))]))
31.  
32. ; Question 1: write a function according to the specifications below
33. ; input contract: E is the representation of the logical expression, expr
34. ; output contract: (cnf? E) returns #t if expr is CNF, and #f otherwise
35. ; Examples: (cnf? '(AND (OR X (OR Y (NOT Z))) (AND (NOT X) TRUE))) should return #t since "(x ∨ y ∨ ¬z) ∧ x ∧ true" is in CNF,
36. ; also, (cnf? '(AND (OR X Y) (OR X (AND Y Z)))) should return #f since "(x ∨ y) ∧ (x ∨ (y ∧ z))" is not in CNF
37.  
38. (define (and? expr)
39.   (and (pair? expr) (eq? (car expr) 'AND) (= (length expr) 3)))
40.  
41. (define (or? expr)
42.   (and (pair? expr) (eq? (car expr) 'OR) (= (length expr) 3)))
43.  
44. (define (cnf? expr)
45.   (and-level expr))
46.  
47. (define (and-level expr)
48.   (cond ((and? expr)
49.          (and (and-level (car expr))
50.               (and-level (cdr expr))))
51.         (else (or-level expr))))
52.  
54. (define (or-level expr)
55.   (cond ((or? expr)
56.          (or (or-level (car expr))
57.              (or-level (cdr expr))))
58.         (else (literal-level expr))))
59.  
61. (define (literal-level expr)
62.   (cond ((not (pair? expr))
63.          #t)
64.         ((eq? (car expr) 'NOT)
65.          (not (var-or-const (cadr expr))))
66.         (else (var-or-const expr))))
67.  
69. (define (var-or-const expr)
70.   (cond ((eq? expr 'VARIABLE) #t)
71.         ((eq? expr 'CONSTANT) #t)
72.         (else #f)))
73.  
75.  
76. ; Question 2: write a function according to the specifications below
77. ; input contract: E is the representation of the logical expression, expr
78. ; output contract: (makeCNF E) returns a representation of expr in CNF
79. ; Examples:  (makeCNF '(IMPLIES P (AND Q R))) would be '(AND (OR (NOT P) Q) (OR (NOT P) R))
80.  
81. (define (makeCNF E)
82.   #t)
83.  
85. (define-test-suite cnf?-suite
86.   (test-equal? "" (cnf? 'P) #t)
87.   (test-equal? "" (cnf? 'FALSE) #t)
88.   (test-equal? "" (cnf? '(NOT FALSE)) #t)
89.   (test-equal? "" (cnf? '(NOT P)) #t)
90.   (test-equal? "" (cnf? '(NOT (NOT P))) #f)
91.   (test-equal? "" (cnf? '(OR P Q)) #t)
92.   (test-equal? "" (cnf? '(XOR P Q)) #f)
93.   (test-equal? "" (cnf? '(AND P Q)) #t)
94.   (test-equal? "" (cnf? '(IMPLIES P Q)) #f)
95.   (test-equal? "" (cnf? '(EQUIV P Q)) #f)
96.   (test-equal? "" (cnf? '(OR P (NOT Q))) #t)
97.   (test-equal? "" (cnf? '(NOT (OR P Q))) #f)
98.   (test-equal? "" (cnf? '(AND (AND (OR L (OR M N)) (OR P (OR Q R))) (OR S (OR T W)))) #t)
99.   (test-equal? "" (cnf? '(AND (OR (OR L M) N) (AND (OR (OR P Q) R) (OR (OR S T) W)))) #t)
100.   (test-equal? "" (cnf? '(AND (OR (OR L M) N) (AND (OR (OR P Q) R) (OR (AND S T) W)))) #f)
101.   (test-equal? "" (cnf? '(OR (OR (OR (XOR P Q) R) S) T)) #f)
102.   (test-equal? "" (cnf? '(AND (AND (AND (AND P (NOT Q)) R) S) T)) #t)
103.   (test-equal? "" (cnf? '(AND (AND (AND (AND P (NOT (NOT Q))) R) S) T)) #f)
104.   (test-equal? "" (cnf? '(AND (OR x (OR y (NOT z))) (AND (NOT x) TRUE))) #t)
105.   (test-equal? "" (cnf? '(AND (OR x y) (OR x (AND y z)))) #f))
106. (define Q1Pts (- 20 (run-tests cnf?-suite 'verbose)))
107.  
109. (define-test-suite cnf-suite
110.   (test-equal? "" (makeCNF 'TRUE) 'TRUE)
111.   (test-equal? "" (makeCNF 'P) 'P)
112.   (test-equal? "" (makeCNF '(NOT P)) '(NOT P))
113.   (test-equal? "" (makeCNF '(NOT TRUE)) 'FALSE)
114.   (test-equal? "" (makeCNF '(NOT (NOT P))) 'P)
115.   (test-equal? "" (makeCNF '(OR P Q)) '(OR P Q))
116.   (test-equal? "" (makeCNF '(AND P Q)) '(AND P Q))
117.   (test-equal? "" (makeCNF '(NOT (AND P Q))) '(OR (NOT P) (NOT Q)))
118.   (test-equal? "" (makeCNF '(XOR P Q)) '(AND (OR P Q) (OR (NOT P) (NOT Q))))
119.   (test-equal? "" (makeCNF '(NOT (XOR (XOR P Q) R)))
120.                '(AND(AND(OR(OR(NOT P)Q)R)(OR(OR(NOT Q)P)R))(AND(OR(NOT R)(OR P Q))(OR(NOT R)(OR(NOT P)(NOT Q))))))
121.   (test-equal? "" (makeCNF '(IMPLIES P Q)) '(OR (NOT P) Q))
122.   (test-equal? "" (makeCNF '(NOT (IMPLIES P Q))) '(AND P (NOT Q)))
123.   (test-equal? "" (makeCNF '(IMPLIES P (IMPLIES Q R))) '(OR (NOT P) (OR (NOT Q) R)))
124.   (test-equal? "" (makeCNF '(IMPLIES (IMPLIES P Q) R)) '(AND (OR P R) (OR (NOT Q) R)))
125.   (test-equal? "" (makeCNF '(EQUIV P Q)) '(AND (OR (NOT P) Q) (OR (NOT Q) P)))
126.   (test-equal? "" (makeCNF '(NOT (XOR P Q))) '(AND (OR (NOT P) Q) (OR (NOT Q) P)))
127.   (test-equal? "" (makeCNF '(NOT (EQUIV P Q))) '(AND (OR P Q) (OR (NOT P) (NOT Q))))
128.   (test-equal? "" (makeCNF '(OR (AND S (NOT FALSE)) (IMPLIES Q (EQUIV TRUE (NOT (NOT (NOT Q))))))) '(AND(AND(OR S(OR(NOT Q)(OR FALSE(NOT Q))))(OR S(OR(NOT Q)(OR Q TRUE))))(AND(OR TRUE(OR(NOT Q)(OR FALSE(NOT Q))))(OR TRUE(OR(NOT Q)(OR Q TRUE))))))
129.   (test-equal? "" (makeCNF '(OR (OR (OR (AND L M) (AND N P)) (AND Q R)) (AND S T))) '(AND(AND(AND(AND(OR(OR(OR L N)Q)S)(OR(OR(OR L N)Q)T))(AND(OR(OR(OR L N)R)S)(OR(OR(OR L N)R)T)))(AND(AND(OR(OR(OR L P)Q)S)(OR(OR(OR L P)Q)T))(AND(OR(OR(OR L P)R)S)(OR(OR(OR L P)R)T))))(AND(AND(AND(OR(OR(OR M N)Q)S)(OR(OR(OR M N)Q)T))(AND(OR(OR(OR M N)R)S)(OR(OR(OR M N)R)T)))(AND(AND(OR(OR(OR M P)Q)S)(OR(OR(OR M P)Q)T))(AND(OR(OR(OR M P)R)S)(OR(OR(OR M P)R)T))))))
130.   (test-equal? "" (makeCNF '(OR (OR (AND X (AND P Q)) (AND Y (AND R S))) (AND A (AND B C)))) '(AND(AND(AND(OR(OR X Y)A)(AND(OR(OR X Y)B)(OR(OR X Y)C)))(AND(AND(OR(OR X R)A)(AND(OR(OR X R)B)(OR(OR X R)C)))(AND(OR(OR X S)A)(AND(OR(OR X S)B)(OR(OR X S)C)))))(AND(AND(AND(OR(OR P Y)A)(AND(OR(OR P Y)B)(OR(OR P Y)C)))(AND(AND(OR(OR P R)A)(AND(OR(OR P R)B)(OR(OR P R)C)))(AND(OR(OR P S)A)(AND(OR(OR P S)B)(OR(OR P S)C)))))(AND(AND(OR(OR Q Y)A)(AND(OR(OR Q Y)B)(OR(OR Q Y)C)))(AND(AND(OR(OR Q R)A)(AND(OR(OR Q R)B)(OR(OR Q R)C)))(AND(OR(OR Q S)A)(AND(OR(OR Q S)B)(OR(OR Q S)C)))))))))
131. (define cnfPts (- 20 (run-tests cnf-suite 'verbose)))
132. (display "Q1 passed ")
133. (display Q1Pts)
134. (display "/20\n")
135. (display "Q2 passed ")(display cnfPts)(display "/20\n")

=>

-------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:  (check-equal? (cnf? (quote (NOT (NOT P)))) #f) params:      '(#t #f) actual:      #t expected:    #f -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:  (check-equal? (cnf? (quote (AND P Q))) #t) params:      '(#f #t) actual:      #f expected:    #t -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:  (check-equal? (cnf? (quote (NOT (OR P Q)))) #f) params:      '(#t #f) actual:      #t expected:    #f -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:   (check-equal? (cnf? (quote (AND (AND (OR L (OR M N)) (OR P (OR Q R))) (OR S (OR T W))))) #t) params:      '(#f #t) actual:      #f expected:    #t -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:   (check-equal? (cnf? (quote (AND (OR (OR L M) N) (AND (OR (OR P Q) R) (OR (OR S T) W))))) #t) params:      '(#f #t) actual:      #f expected:    #t -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:  (check-equal? (cnf? (quote (OR (OR (OR (XOR P Q) R) S) T))) #f) params:      '(#t #f) actual:      #t expected:    #f -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:   (check-equal? (cnf? (quote (AND (AND (AND (AND P (NOT Q)) R) S) T))) #t) params:      '(#f #t) actual:      #f expected:    #t -------------------- -------------------- cnf?-suite > FAILURE name:        check-equal? location:    eval:20:0 expression:   (check-equal? (cnf? (quote (AND (OR x (OR y (NOT z))) (AND (NOT x) TRUE)))) #t) params:      '(#f #t) actual:      #f expected:    #t -------------------- 12 success(es) 8 failure(s) 0 error(s) 20 test(s) run

-------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote TRUE)) (quote TRUE)) params:      '(#t TRUE) actual:      #t expected:    'TRUE -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote P)) (quote P)) params:      '(#t P) actual:      #t expected:    'P -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote (NOT P))) (quote (NOT P))) params:      '(#t (NOT P)) actual:      #t expected:    '(NOT P) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote (NOT TRUE))) (quote FALSE)) params:      '(#t FALSE) actual:      #t expected:    'FALSE -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote (NOT (NOT P)))) (quote P)) params:      '(#t P) actual:      #t expected:    'P -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote (OR P Q))) (quote (OR P Q))) params:      '(#t (OR P Q)) actual:      #t expected:    '(OR P Q) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:  (check-equal? (makeCNF (quote (AND P Q))) (quote (AND P Q))) params:      '(#t (AND P Q)) actual:      #t expected:    '(AND P Q) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (NOT (AND P Q)))) (quote (OR (NOT P) (NOT Q)))) params:      '(#t (OR (NOT P) (NOT Q))) actual:      #t expected:    '(OR (NOT P) (NOT Q)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (XOR P Q))) (quote (AND (OR P Q) (OR (NOT P) (NOT Q))))) params:      '(#t (AND (OR P Q) (OR (NOT P) (NOT Q)))) actual:      #t expected:    '(AND (OR P Q) (OR (NOT P) (NOT Q))) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (NOT (XOR (XOR P Q) R)))) (quote (AND (AND (OR (OR (NOT P) Q) R) (OR (OR (NOT Q) P) R)) (AND (OR (NOT R) (OR P Q)) (OR (NOT R) (OR (NOT P) (NOT Q))))))) params:   '(#t     (AND      (AND (OR (OR (NOT P) Q) R) (OR (OR (NOT Q) P) R))      (AND (OR (NOT R) (OR P Q)) (OR (NOT R) (OR (NOT P) (NOT Q)))))) actual:      #t expected:   '(AND     (AND (OR (OR (NOT P) Q) R) (OR (OR (NOT Q) P) R))     (AND (OR (NOT R) (OR P Q)) (OR (NOT R) (OR (NOT P) (NOT Q))))) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (IMPLIES P Q))) (quote (OR (NOT P) Q))) params:      '(#t (OR (NOT P) Q)) actual:      #t expected:    '(OR (NOT P) Q) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (NOT (IMPLIES P Q)))) (quote (AND P (NOT Q)))) params:      '(#t (AND P (NOT Q))) actual:      #t expected:    '(AND P (NOT Q)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (IMPLIES P (IMPLIES Q R)))) (quote (OR (NOT P) (OR (NOT Q) R)))) params:      '(#t (OR (NOT P) (OR (NOT Q) R))) actual:      #t expected:    '(OR (NOT P) (OR (NOT Q) R)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (IMPLIES (IMPLIES P Q) R))) (quote (AND (OR P R) (OR (NOT Q) R)))) params:      '(#t (AND (OR P R) (OR (NOT Q) R))) actual:      #t expected:    '(AND (OR P R) (OR (NOT Q) R)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (EQUIV P Q))) (quote (AND (OR (NOT P) Q) (OR (NOT Q) P)))) params:      '(#t (AND (OR (NOT P) Q) (OR (NOT Q) P))) actual:      #t expected:    '(AND (OR (NOT P) Q) (OR (NOT Q) P)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (NOT (XOR P Q)))) (quote (AND (OR (NOT P) Q) (OR (NOT Q) P)))) params:      '(#t (AND (OR (NOT P) Q) (OR (NOT Q) P))) actual:      #t expected:    '(AND (OR (NOT P) Q) (OR (NOT Q) P)) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (NOT (EQUIV P Q)))) (quote (AND (OR P Q) (OR (NOT P) (NOT Q))))) params:      '(#t (AND (OR P Q) (OR (NOT P) (NOT Q)))) actual:      #t expected:    '(AND (OR P Q) (OR (NOT P) (NOT Q))) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (OR (AND S (NOT FALSE)) (IMPLIES Q (EQUIV TRUE (NOT (NOT (NOT Q)))))))) (quote (AND (AND (OR S (OR (NOT Q) (OR FALSE (NOT Q)))) (OR S (OR (NOT Q) (OR Q TRUE)))) (AND (OR TRUE (OR (NOT Q) (OR FALSE (NOT Q)))) (OR TRUE (OR (NOT Q) (OR Q TRUE))))))) params:   '(#t     (AND      (AND (OR S (OR (NOT Q) (OR FALSE (NOT Q)))) (OR S (OR (NOT Q) (OR Q TRUE))))      (AND       (OR TRUE (OR (NOT Q) (OR FALSE (NOT Q))))       (OR TRUE (OR (NOT Q) (OR Q TRUE)))))) actual:      #t expected:   '(AND     (AND (OR S (OR (NOT Q) (OR FALSE (NOT Q)))) (OR S (OR (NOT Q) (OR Q TRUE))))     (AND      (OR TRUE (OR (NOT Q) (OR FALSE (NOT Q))))      (OR TRUE (OR (NOT Q) (OR Q TRUE))))) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (OR (OR (OR (AND L M) (AND N P)) (AND Q R)) (AND S T)))) (quote (AND (AND (AND (AND (OR (OR (OR L N) Q) S) (OR (OR (OR L N) Q) T)) (AND (OR (OR (OR L N) R) S) (OR (OR (OR L N) R) T))) (AND (AND (OR (OR (OR L P) Q) S) (OR (OR (OR L P) Q) T)) (AND (OR (OR (OR L P) R) S) (OR (OR (OR L P) R) T)))) (AND (AND (AND (OR (OR (OR M N) Q) S) (OR (OR (OR M N) Q) T)) (AND (OR (OR (OR M N) R) S) (OR (OR (OR M N) R) T))) (AND (AND (OR (OR (OR M P) Q) S) (OR (OR (OR M P) Q) T)) (AND (OR (OR (OR M P) R) S) (OR (OR (OR M P) R) T))))))) params:   '(#t     (AND      (AND       (AND        (AND (OR (OR (OR L N) Q) S) (OR (OR (OR L N) Q) T))        (AND (OR (OR (OR L N) R) S) (OR (OR (OR L N) R) T)))       (AND        (AND (OR (OR (OR L P) Q) S) (OR (OR (OR L P) Q) T))        (AND (OR (OR (OR L P) R) S) (OR (OR (OR L P) R) T))))      (AND       (AND        (AND (OR (OR (OR M N) Q) S) (OR (OR (OR M N) Q) T))        (AND (OR (OR (OR M N) R) S) (OR (OR (OR M N) R) T)))       (AND        (AND (OR (OR (OR M P) Q) S) (OR (OR (OR M P) Q) T))        (AND (OR (OR (OR M P) R) S) (OR (OR (OR M P) R) T)))))) actual:      #t expected:   '(AND     (AND      (AND       (AND (OR (OR (OR L N) Q) S) (OR (OR (OR L N) Q) T))       (AND (OR (OR (OR L N) R) S) (OR (OR (OR L N) R) T)))      (AND       (AND (OR (OR (OR L P) Q) S) (OR (OR (OR L P) Q) T))       (AND (OR (OR (OR L P) R) S) (OR (OR (OR L P) R) T))))     (AND      (AND       (AND (OR (OR (OR M N) Q) S) (OR (OR (OR M N) Q) T))       (AND (OR (OR (OR M N) R) S) (OR (OR (OR M N) R) T)))      (AND       (AND (OR (OR (OR M P) Q) S) (OR (OR (OR M P) Q) T))       (AND (OR (OR (OR M P) R) S) (OR (OR (OR M P) R) T))))) -------------------- -------------------- cnf-suite > FAILURE name:        check-equal? location:    eval:22:0 expression:   (check-equal? (makeCNF (quote (OR (OR (AND X (AND P Q)) (AND Y (AND R S))) (AND A (AND B C))))) (quote (AND (AND (AND (OR (OR X Y) A) (AND (OR (OR X Y) B) (OR (OR X Y) C))) (AND (AND (OR (OR X R) A) (AND (OR (OR X R) B) (OR (OR X R) C))) (AND (OR (OR X S) A) (AND (OR (OR X S) B) (OR (OR X S) C))))) (AND (AND (AND (OR (OR P Y) A) (AND (OR (OR P Y) B) (OR (OR P Y) C))) (AND (AND (OR (OR P R) A) (AND (OR (OR P R) B) (OR (OR P R) C))) (AND (OR (OR P S) A) (AND (OR (OR P S) B) (OR (OR P S) C))))) (AND (AND (OR (OR Q Y) A) (AND (OR (OR Q Y) B) (OR (OR Q Y) C))) (AND (AND (OR (OR Q R) A) (AND (OR (OR Q R) B) (OR (OR Q R) C))) (AND (OR (OR Q S) A) (AND (OR (OR Q S) B) (OR (OR Q S) C))))))))) params:   '(#t     (AND      (AND       (AND (OR (OR X Y) A) (AND (OR (OR X Y) B) (OR (OR X Y) C)))       (AND        (AND (OR (OR X R) A) (AND (OR (OR X R) B) (OR (OR X R) C)))        (AND (OR (OR X S) A) (AND (OR (OR X S) B) (OR (OR X S) C)))))      (AND       (AND        (AND (OR (OR P Y) A) (AND (OR (OR P Y) B) (OR (OR P Y) C)))        (AND         (AND (OR (OR P R) A) (AND (OR (OR P R) B) (OR (OR P R) C)))         (AND (OR (OR P S) A) (AND (OR (OR P S) B) (OR (OR P S) C)))))       (AND        (AND (OR (OR Q Y) A) (AND (OR (OR Q Y) B) (OR (OR Q Y) C)))        (AND         (AND (OR (OR Q R) A) (AND (OR (OR Q R) B) (OR (OR Q R) C)))         (AND (OR (OR Q S) A) (AND (OR (OR Q S) B) (OR (OR Q S) C)))))))) actual:      #t expected:   '(AND     (AND      (AND (OR (OR X Y) A) (AND (OR (OR X Y) B) (OR (OR X Y) C)))      (AND       (AND (OR (OR X R) A) (AND (OR (OR X R) B) (OR (OR X R) C)))       (AND (OR (OR X S) A) (AND (OR (OR X S) B) (OR (OR X S) C)))))     (AND      (AND       (AND (OR (OR P Y) A) (AND (OR (OR P Y) B) (OR (OR P Y) C)))       (AND        (AND (OR (OR P R) A) (AND (OR (OR P R) B) (OR (OR P R) C)))        (AND (OR (OR P S) A) (AND (OR (OR P S) B) (OR (OR P S) C)))))      (AND       (AND (OR (OR Q Y) A) (AND (OR (OR Q Y) B) (OR (OR Q Y) C)))       (AND        (AND (OR (OR Q R) A) (AND (OR (OR Q R) B) (OR (OR Q R) C)))        (AND (OR (OR Q S) A) (AND (OR (OR Q S) B) (OR (OR Q S) C))))))) -------------------- 0 success(es) 20 failure(s) 0 error(s) 20 test(s) run

Q1 passed

12

/20

Q2 passed

0

/20