Логические законы в логике Законы алгебры логики информатика примеры