diff options
| author | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:14:25 -0600 |
|---|---|---|
| committer | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:14:25 -0600 |
| commit | aacfe8f23a4b3e8c727fcc991018d935e7ad7608 (patch) | |
| tree | 2dbe9634b87b3d5c4e01f9fd7c460b2a1e6239d6 | |
| parent | Fix error (diff) | |
| download | homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar.gz homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar.bz2 homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar.lz homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar.xz homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.tar.zst homework-aacfe8f23a4b3e8c727fcc991018d935e7ad7608.zip | |
S P A C I N G
| -rw-r--r-- | csci4511w/hw3.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/csci4511w/hw3.txt b/csci4511w/hw3.txt index b5ed4fe..37af197 100644 --- a/csci4511w/hw3.txt +++ b/csci4511w/hw3.txt @@ -62,6 +62,7 @@ "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 @@ -79,6 +80,7 @@ 11. (10,5) ~We 12. (11,2b) ~J 13. (5,12) NIL + 4) 1. A∨B∨C 2. ~A∨B |