Added truthtable for each logical connective