此文是在本人学习完离散数学中嘚数理逻辑部分后, 对标题中各部分之间的联系存在很大的疑惑. 特此进行总结, 水平有限, 如有错误, 欢迎指正.
逻辑代数是一种用于描述客观事物邏辑关系的数学方法, 由英国科学家乔治. 布尔 (blogs.com/chenshu/p/.html