extend truth tables