Las leyes del álgebra de las proposiciones incluyen una serie de principios fundamentales que son esenciales para el razonamiento lógico. Entre ellas se encuentran las leyes distributivas, que permiten distribuir operadores lógicos a través de proposiciones compuestas.
Las llamadas leyes lógicas o principios lógicos vienen a ser formas proposicionales tautológicas de carácter general y que a partir de estas se pueden generar otras tautológicas.