xxxxxxxxxx
def timeConversion(s):
list = s.split(":")
if list[2].endswith("AM"):
if list[0] == "12":
list[0] = "00"
else:
if 1 <= int(list[0]) <= 11:
list[0] = int(list[0]) + 12
return "{}:{}:{}".format(list[0],list[1],list[2][0:2])
xxxxxxxxxx
df['Time'] = pd.to_datetime(df['Time'], format='%I:%M:%S %p').dt.strftime('%H:%M:%S')
print (df)
Time
1 17:21:26
2 17:21:58
3 17:22:22
4 17:22:36
5 19:18:16
xxxxxxxxxx
time = input().strip()
h, m, s = map(int, time[:-2].split(':'))
p = time[-2:]
h = h % 12 + (p.upper() == 'PM') * 12
print(('%02d:%02d:%02d') % (h, m, s))