00:02
We're going to complete the following to its table, using t for true and f for false.
00:06
I'm going to add some columns, but i don't have the application, so i'm going to add the columns on this side here.
00:12
Okay, so it's helpful to me if i knew about not q and not p, because those are what's involved.
00:18
So not p and not q are exactly the opposite of p and q.
00:22
So when p is true, not p is false.
00:26
And when p is false, not p is true.
00:30
Same thing for q.
00:31
So q is true, then not not q is false and when q is false, not q is true.
00:38
So not q implies not p.
00:41
So if not q is true, then not p has to also be true...