From a3b363b4d56fd3a500330165551b807082b89cf2 Mon Sep 17 00:00:00 2001 From: RossTheRoss Date: Fri, 12 Mar 2021 09:13:59 -0600 Subject: Fix error --- csci4511w/hw3.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'csci4511w') 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? -- cgit v1.2.3