Документ описывает основные законы алгебры логики, включая законы двойного отрицания, исключённого третьего и непротиворечия. Включает переместительные, сочетательные, распределительные, поглощающие и другие свойства логических операций. Также представлены правила де Моргана и свойства констант.