added truth tables