Li-Fan Chen
says to
YSITD
應該是分配律(?) Demorgan 是 ~(A v B) 這樣ㄉ