From f74b87b8699ce4f6106002371a6e0bdc3d455302 Mon Sep 17 00:00:00 2001 From: Isaac Shoebottom Date: Tue, 14 Jan 2025 21:58:58 -0400 Subject: [PATCH] Lab 01 done --- Labs/01.rkt | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 Labs/01.rkt 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