added truthtable and K maps