Binary sparse signal recovery algorithms based on logic observation. (June 2019)