diff options
| author | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:12:25 -0600 |
|---|---|---|
| committer | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:12:25 -0600 |
| commit | 11c465d3d63ae6c7873572aab72c2e4dc34accdb (patch) | |
| tree | b6609fdf691c7fa63f3b3d7f716f5b1caaa5236e /csci4511w | |
| parent | add AI hw (diff) | |
| download | homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar.gz homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar.bz2 homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar.lz homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar.xz homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.tar.zst homework-11c465d3d63ae6c7873572aab72c2e4dc34accdb.zip | |
Finish HW
Diffstat (limited to 'csci4511w')
| -rw-r--r-- | csci4511w/hw3.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/csci4511w/hw3.txt b/csci4511w/hw3.txt index 88ee3a7..458b1d7 100644 --- a/csci4511w/hw3.txt +++ b/csci4511w/hw3.txt @@ -59,8 +59,9 @@ 2. Yes. This is the statement. 3. No. AND and OR are not interchangable. 4. No. - + "If the night is quiet, then both the dog sleeps and the house is warm" 5. No. + "The dog does not sleep or the night is not quiet or the house is warm" 3) 1. ~~(~C∨~D)∨P -> ~C∨~D∨P |