この資料をSMS送信: Reduction of the number of possible boolean functions