Quiz (1 point)
Prove that:
compare bit stack [ 0, [ 1, [ ] ] ] and bit stack [ 1, [ 1, [ ] ] ] = [ 0, [ 0, [ ] ] ]
The following properties may be helpful:
- compare bit stack [ 1, [ ] ] and bit stack [ 1, [ ] ] = [ 1, [ 0, [ ] ] ]
- compare bit 0 and bit 1 = [ 0, [ 0, [ ] ] ]
if compare bit stack xs and bit stack ys = [ 1, [ 0, [ ] ] ], then compare bit stack [ x, xs ] and bit stack [ y, ys ] = compare bit x and bit y
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.