Quiz (1 point)

• not (3 = 1)
• 5 + 1 = 6

• if value of cell 3 at time 5 = 3, then value of cell 3 at time 5 = 1 = 3 = 1

• if value of cell 3 at time 5 = 1 = 3 = 1, then not (value of cell 3 at time 5 = 1) = not (3 = 1)

• if the following are true:

  • a
  • b = a

  then b

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

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

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

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