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