用“与非”门实现逻辑式，写出化简后的逻辑式，画出逻辑图。