Li-Fan Chen
says to
YSITD
Boolean Algebra 是不是不線性阿