00:01
Okay, to do truth tables, you've got to have some building blocks.
00:05
So let's look at the building block, like the basic thing for p implies q.
00:13
Okay, so you've got to know what will make that true.
00:18
Well, if p is true and q is true, then p indeed implied q, and so that's true.
00:26
If p is true but q is false, then this is false.
00:33
If p is false and it doesn't matter what q is, this is true automatically.
00:40
Okay, because you're saying if p is true, then q.
00:47
So if p is not true, then we don't care.
00:50
So it's automatically true.
00:52
So you just have to memorize that.
00:55
Okay, the next one is more obvious.
00:58
Okay, it's p and q.
01:01
So for this to be true, they both have to be true.
01:04
So this is the only time it's true.
01:06
P is true, q is true, then p and q is true.
01:09
The rest of them are false.
01:14
All right.
01:15
So then what you have to do is you have to write a truth table.
01:21
Okay, and this one will have, let's see, p and q and this and this.
01:26
So five pieces to it.
01:35
Okay, it's going to have p.
01:37
It's going to have q.
01:39
I forgot what we're doing.
01:41
P implies q.
01:48
P implies q.
01:54
And not q.
01:56
Oh, we better put another, we better put a not q in there.
02:04
Not q.
02:07
P implies q and not q.
02:13
And then the last one, that implies not p.
02:17
Oh, now we're going to make a not p column.
02:22
P implies q and not q.
02:31
Okay, and you don't want to think about, to me, i never think about what does that mean, blah, i just mechanically fill in the table without ever thinking about an example in real life.
02:49
Okay, maybe that's terrible, but that's okay.
02:51
All right.
02:52
So always start with true, true, false, true, true, true, false.
03:00
Okay, p implies q.
03:04
So that is true when they're both true, false when it's true false, and true, true, when p is false.
03:19
All right.
03:19
So it is true, false, true, true from the table we memorized.
03:27
Okay, if q is true, then not q is false.
03:34
If q is false, then not q is true.
03:38
So we're just writing the same table as q except for backwards.
03:46
Okay, so now we're done with this one and we're done with this one.
03:50
Oh, that was alive.
03:51
We're not quite done with q yet, with p yet.
03:55
Okay, now this one we're using the truth table for and.
03:59
I remember it's only true when both the first thing and the second thing are true.
04:07
Okay, the first thing is true, the second thing is false.
04:10
That's false.
04:12
Let me use another color here.
04:14
That's false.
04:18
First thing is false.
04:19
Second thing is true.
04:20
That's false.
04:23
First thing is true.
04:24
Second thing is false.
04:27
First thing is true...