Я googled «Инструменты карты Карно» и нашел этот сайт:
http://courseware.ee.calpoly.edu/~rsandige/KarnaughExplorer.html
Он будет работать на Ubuntu, конечно, но это требует, чтобы вы были в сети. Кроме того, он поддерживает только до 4 переменных.
Также есть тот, который должен работать на Ubuntu, хотя я действительно не пытался его попробовать:
http: // courseware .ee.calpoly.edu / ~ rsandige / KarnaughExplorer.html
Возможно, вам повезло в результатах Google.