Dimension Reduction of Large Sparse AND-NOT Network Models