Нужно написать программу строящую таблицу истинности заданной функции.Я подумаю может вычислять значение функции(для каждого из наборов значений переменных) как простого выражения в инфексной форме(используя стек и т.д) ?Или проще перевести вначале функцию в НДФ а потом вычеслять?

Проще - сначала упростить функцию (если там есть, что упрощать), а потом вычислять значение функции для каждого набора параметров.

По отдельности и первое и второе на форуме было (правда на Паскале, но алгоритм остается тем же). Как будет твоя реализация на С++ (пускай даже неполная) - будет о чем говорить... Пока говорить не о чем, ты еще сам не решил, как будешь делать...