PasteRack.org | ||
Paste # 46697 | ||
2023-03-14 19:22:15 | ||
Fork as a new paste. | ||
Paste viewed 192 times. | ||
Tweet | ||
Embed: | ||
=>
--------------------
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