Правила алгебры логики: 4.2. Основные законы алгебры логики и правила преобразов