Propiedad algebraica en que se basa Karnaugh