KNF zusammengefügt, Wahrheitstabelle überarbeitet