Kodowanie i logika