aboutsummaryrefslogtreecommitdiffstats
path: root/csci4511w
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--csci4511w/hw3.txt3
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