Title: Ming ti luo ji yu Bu'er dai shu
Subjects: Proposition (Logic), Algebra, Bolean, Bolean Algebra