Nullness Analysis in Boolean Form