diff options
| author | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:13:59 -0600 |
|---|---|---|
| committer | RossTheRoss <mstrapp@protonmail.com> | 2021-03-12 09:13:59 -0600 |
| commit | a3b363b4d56fd3a500330165551b807082b89cf2 (patch) | |
| tree | 0a124144ce241e42c3459dbb7aae6316d6e8bed8 | |
| parent | Finish HW (diff) | |
| download | homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar.gz homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar.bz2 homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar.lz homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar.xz homework-a3b363b4d56fd3a500330165551b807082b89cf2.tar.zst homework-a3b363b4d56fd3a500330165551b807082b89cf2.zip | |
Fix error
| -rw-r--r-- | csci4511w/hw3.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/csci4511w/hw3.txt b/csci4511w/hw3.txt index 458b1d7..b5ed4fe 100644 --- a/csci4511w/hw3.txt +++ b/csci4511w/hw3.txt @@ -52,7 +52,7 @@ F T F F T F F T F T F F F T T - 10. Valid (this truth table is really long) + 10. Valid (this truth table is really long but it turns out to be a tautology) 2) (A^B)⇒C == (~A∨~B)⇒C 1. They are both true iff all 3 are true so no? |