Так однозначно сказать какой из форматов лучше - тоже нельзя - все зависит от целей, для которых это нужно. А что касается самого форматирования, то это вполне возможно, причем, если что, на этом сайте:
https://video-converter.ru/kak-sdelat-gif-iz-video.php можно будет сразу скачать специальную программу, которая вам в этом поможет.