逻辑代数是一种将逻辑运算符和布尔代数结合起来的数学工具。其中常用的公式包括：1.德摩根定律：非(A或B)等于非A且非B，非(A且B)等于非A或非B；2.结合律：(A或B)或C等于A或(B或C)，(A且B)且C等于A且(B且C)；3.分配律：A或(B且C)等于(A或B)且(A或C)，A且(B或C)等于(A且B)或(A且C)。逻辑代数常用于计算机科学领域中的逻辑电路设计和布尔函数运算等方面。