Дискретная математика

Написать программу на С++, которая просит пользователя ввести булево выражение от 1 до 3 переменных (A, B, C). Запрашивать количество в начале. Поддержка всего 3 логических операций (OR+, AND*, NOT! , а также скобки). Выдавать ошибку если пользователь ввел другие буквы или символы. После чего программа минимизирует введенное выражение используя законы булевой алгебры и метод карт Карно. Например ответ на даннок выражение (!A * !C) + (B * A * !B) это (!A * !C)