奎因莫可拉斯基化简法例题