Optimized Boolean Form