тест по языку высказываний(C++)

Здравствуйте!!!
Помогите написать задачку на С++.
Описание:
Программа проверяет знания студентов по языку высказываний. При запуске на экран выдается задание типа: «Если Таня идет в кино, то и Миша идет в кино". И выводятся переменные. А - Миша идет в кино, B - Таня идет в кино. Пользователь. Вводит ответ: (B -> A) и программа определяет правильный он ввел ответ или нет причем такой вариан тоже будет верен не(B -> A).

Пояснения: Задание берется из файла input.txt в нем же хранится и таблица истинности, для проверки правильности ответа пользователя.
Программа должна работать с любым количеством перевенных(A, B, C, D, ...)

Если что-то в условии не понят пишите поясню.

Я не сильно надеюсь, что мне кто-нибудь здесь сможет помочь, но все же решил попробовать :)