aboutsummaryrefslogtreecommitdiffstats
path: root/csci4511w
diff options
context:
space:
mode:
authorRossTheRoss <mstrapp@protonmail.com>2021-03-12 09:14:25 -0600
committerRossTheRoss <mstrapp@protonmail.com>2021-03-12 09:14:25 -0600
commitaacfe8f23a4b3e8c727fcc991018d935e7ad7608 (patch)
tree2dbe9634b87b3d5c4e01f9fd7c460b2a1e6239d6 /csci4511w
parentFix error (diff)
downloadhomework-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
Diffstat (limited to '')
-rw-r--r--csci4511w/hw3.txt2
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