diff --git a/Labs/01.rkt b/Labs/01.rkt new file mode 100644 index 0000000..db2ba6a --- /dev/null +++ b/Labs/01.rkt @@ -0,0 +1,30 @@ +#lang plait + +(define (And l r) + (cond + [l r] + [else #f])) + +(define (Or l m r) + (cond + [l #t] + [m #t] + [r #t] + [else #f])) + +(define (Not v) + (cond + [v #f] + [else #t])) + + +(test (And #f #f) #f) +(test (And #f #t) #f) +(test (And #t #f) #f) +(test (And #t #t) #t) +(test (Or #f #f #f) #f) +(test (Or #t #f #f) #t) +(test (Or #f #t #f) #t) +(test (Or #f #f #t) #t) +(test (Not #t) #f) +(test (Not #f) #t) \ No newline at end of file