请问这个公式怎么证明呢

补码变真值都会写，还有一个这个公式，单请问这个公式证明应该怎么写呢