※ 引述《zxc2179vbnm (多多绿Q)》之铭言：
: https://imgur.com/gallery/2MDsOIK
: 不太懂圈起来的地方 我文氏团画出来跟圈起来的地方描述不太对
肯定是你画错
a_2 ^ (~a_3)
= [a_2 v a_3] - a_3
= ~[~a_2 ^ ~a_3] - a_3
= all - [~a_2 ^ ~a_3] - a_3

阿我了解了。不小心画错一小块 感谢你