Quiz (1 point)

• not (2 = 4)
• 14 + 1 = 15
• 8 + 1 = 9

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

• if value of cell 4 at time 14 = 4 = 2 = 4, then not (value of cell 4 at time 14 = 4) = not (2 = 4)

• if the following are true:

  • a
  • b = a

  then b

• if value of cell 5 at time 14 = 4, then value of cell 4 at time 14 = value of cell 5 at time 14 = value of cell 4 at time 14 = 4

• if value of cell 4 at time 14 = value of cell 5 at time 14 = value of cell 4 at time 14 = 4, then not (value of cell 4 at time 14 = value of cell 5 at time 14) = not (value of cell 4 at time 14 = 4)

• 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 14 + 1 = 15, then the PC at time (14 + 1) = the PC at time 15

• 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.