Quiz (1 point)

• (5 + 1) + 1 = 7
• 19 + 1 = 20

• if the following are true:

  • a = c
  • b = c

  then a = b

• if the following are true:

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

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

• if the following are true:

  • a = b
  • b = c

  then a = c

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

• if the following are true:

  • a = b
  • a = c

  then b = 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.