string_satisfy

create a string pattern with &(represents AND) and |(represents OR), check whether it can be satisfied with given strings