Բուլյան Ֆունկցիաների արգումենտների ակտիվությունների հատկությունների հետազոտումը և նրանց կիրառությունը թվային սխեմաների նախագծման ավտոմատացման համակարգերում