А бляя, все это легкотня полная, формальная логика, дизьюкция, слабая дизьюкция, импликация, отрицание и.тд. я это в 6ом классе учил. Автор зайди на http://workspace.officelive.com/en-us/ создай новый документ Excel, сделай свое задание сам в Office 2010 Online , сохрани в нужно формате и не парься. донт вории би хэппи
ТС, писал как-то для себя прогу, для построения таблиц истинности, СКНФ и СДНФ, если интересно пиши, поделюсь