00:01
So we're trying to find the output of each of these combinatorial circuits.
00:05
So we have part a and part b.
00:07
So off to the side here, i kind of put a reminder of what these shapes actually represent.
00:12
So we have this kind of curvy shape here is our or gate.
00:15
So if two symbols go through that gate, then they would be outputted as an or.
00:22
So that would be this symbol right here.
00:25
And the and gate, if two quantifiers are put into the and gate, then the output would be like that.
00:35
So it would be p and q, for example.
00:38
And then the inverter is going to negate the statement that goes through it.
00:42
So in that case, we would put a not in front of it.
00:47
So looking at this first one, we can first take a look at the p.
00:51
So our p is going to go through and it's going to go through an inverter, which means it's going to negate the p statement.
00:58
So after we come out from that inverter, we're going to have not p.
01:01
And the same thing is going to happen to q.
01:05
So we output not q here.
01:08
And then both of those statements together are going to go through, and they're going to go through this or gate.
01:15
So the output here is going to be not p or not q.
01:22
So that's the output for part a.
01:27
In part b, now we have three quantifiers.
01:30
So the first one, we can kind of follow this arrow...