diff options
Diffstat (limited to 'csci4511w/hw3.txt')
| -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 |