- Tõeväärtuste vahele lisatud tühikud lõpliku K-kaardi kuvamisel - Eemaldatud string-lausetest punktid, muud vormistused stringides - K-kaardi kuvamine ka 16 järjestiku loogikaväärtuse sisestamisel