この資料をSMS送信: Threshold logic: a synthesis approach