Corrected truth tables