Логический закон — это формула из логических выражений в виде равенства, принимающая только истинное значение при любых значениях переменных.