Biomolecular Information Processing: From Logic