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