Quiz (1 point)

• not (3 = 2)
• 9 + 1 = 10
• 5 + 1 = 6

• if value of cell 3 at time 9 = 3, then value of cell 3 at time 9 = 2 = 3 = 2

• if value of cell 3 at time 9 = 2 = 3 = 2, then not (value of cell 3 at time 9 = 2) = not (3 = 2)

• if the following are true:

  • a
  • b = a

  then b

• if value of cell 4 at time 9 = 2, then value of cell 3 at time 9 = value of cell 4 at time 9 = value of cell 3 at time 9 = 2

• if value of cell 3 at time 9 = value of cell 4 at time 9 = value of cell 3 at time 9 = 2, then not (value of cell 3 at time 9 = value of cell 4 at time 9) = not (value of cell 3 at time 9 = 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 9 + 1 = 10, then the PC at time (9 + 1) = the PC at time 10

• if the following are true:

  • a = b
  • a = c
  • b = d

  then c = d

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.