GUI changes and small core fixes

New menu
"New boolean function" dialog
Truth table in QTableView