From 0dbe2bcec963db54af1f2a62477639cb86d664bd Mon Sep 17 00:00:00 2001 From: Price Hiller Date: Fri, 26 Jan 2024 23:30:55 -0600 Subject: [PATCH] fix(CS-2233): resolve minor tpo --- Spring-2023/CS-2233/Assignment-1/Solution.typ | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Spring-2023/CS-2233/Assignment-1/Solution.typ b/Spring-2023/CS-2233/Assignment-1/Solution.typ index 24471cb..9999216 100644 --- a/Spring-2023/CS-2233/Assignment-1/Solution.typ +++ b/Spring-2023/CS-2233/Assignment-1/Solution.typ @@ -247,9 +247,9 @@ Section 001 // | F | F | T | T | T | F | F | // | F | F | F | T | T | F | F | #solve[ - Notice that the furthest right column only has true values, thus the above - statement is a - _tautology_ and is always _True_ + Notice that both truth tables have equivalent values in their furthest right + columns. As a result of this, the proposition $¬q → (p ∧ r) ≡ (¬q → r) ∧ (q ∨ p)$ must + be _True_. ][ #table(columns: 2, stroke: none, [Truth table for *$¬q → (p ∧ r)$* #table(