Anybody knows of a Karnaugh map software for Ubuntu where I can input a Boolean formula e.g A+B(C+D) and the software translates it into a Karnaugh map?
You can use karnaugh map minimizer (KMAP)
Read more about here
download from here
Also you can use Karnaugh Map Analyzer
read about here
downlaod from here
Hint: You can still use the windows tools you know using Wine
I googled "Karnaugh map tools" and found this website:
It will run on Ubuntu of course, but it does require you to be online. Also it supports only up to 4 variables.
There's also this one that should run on Ubuntu, though I didn't really try it:
You may have some luck looking in Google results.