AND-NOT logic framework for steady state analysis of Boolean network models