T-79.3001 Logiikka tietotekniikassa: perusteet