Поищите книги Лео Броуди.

Можно привести в дизъюнктивную нормальную форму и сравнить, можно сравнить таблицы истинности, или преобразовать одно в другое.

www.stolyarov.info/books/pdf/progintro_e2v1.pdf

Придётся ставить библиотеки из Пакмана.

А почему бы не вывести список всех нужных вам пакетов , после сего скопировать их один за другим, кинуть на флешку, переустановить ОС, ввести sudo apt install и скопировать в командную строку содержание файла с флешки со списком пакетов.