The following example shows that when the value stored in the left cell (cell #1) is not equal to the value in the right cell (cell #2), the PC is incremented by 1.

Quiz (1 point)

• not (1 = 2)
• 0 + a = a

• if value of cell 1 at time 0 = 1, then value of cell 1 at time 0 = 2 = 1 = 2

• if value of cell 2 at time 0 = 2, then value of cell 1 at time 0 = value of cell 2 at time 0 = value of cell 1 at time 0 = 2

• if the following are true:

  • a = b
  • b = c

  then a = c

• if value of cell 1 at time 0 = value of cell 2 at time 0 = 1 = 2, then not (value of cell 1 at time 0 = value of cell 2 at time 0) = not (1 = 2)

• if the following are true:

  • a
  • b = a

  then b

• if the following are true:

  • instruction #i is beq left=left right=right imm=imm
  • the PC at time t = i
  • not (value of cell left at time t = value of cell right at time t)

  then the PC at time (t + 1) = i + 1

• if 0 + 1 = 1, then the PC at time (0 + 1) = the PC at time 1

• if the following are true:

  • a = b
  • a = c

  then b = c

• if the following are true:

  • a = b
  • b = c

  then a = c

Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.

Step	Claim	Reason (optional)	Error Message (if any)
1
2
3
4
5
6
7
8
9
10

Add Step Reset

Become a subscriber to save your progress, see the correct answer, and more!