Законы алгебры логики: основные правила и их применение в информатике