数电逻辑表达式的化简.

这里从上而下的等号并不表示下一个式子是从上一个式子推到出来的.
由于第二个和第一个相等,这两个很容易推导.我们从第一个式子来推导第三个式子.

验算就是反推导,反过来运用我等号上写的规律即可完成验算.