diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-24 03:27:41 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-24 03:27:41 +0900 |
| commit | f01736270deed26c4c4f48aa8fb0d194dd27c29c (patch) | |
| tree | a846d8457884593d38fbd711fbcd24db7b762951 | |
| parent | 4bf52294c02c89c5cbd44689fcf573bb29cf1204 (diff) | |
Add `bust-12` theorem.
| -rw-r--r-- | blackjack.lisp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/blackjack.lisp b/blackjack.lisp index 353fc2a..3d0318d 100644 --- a/blackjack.lisp +++ b/blackjack.lisp @@ -164,6 +164,12 @@ (equal (score (list 'A r)) 'NATURAL-BLACKJACK))) +(defthm bust-12 + (let ((rs '(K 2)) + (new 'J)) + (and (= (score* rs) 12) + (equal (score (cons new rs)) 'BUST)))) + (defthm safe-hit (implies (and (rankp r1) (rankp r2) |