Thx for replying and answering my question..
The idea is that i have to implement it using this kind of type
generateTruthTable->[[(Char,Bool)]] and we didn't take the Shell and
libraries in common, so i have to implement in a simpler way..
Can you give me another way or even some hints..
I have already implemented the And,Or,Impl,Neg,and other functions..