Compound proposition input expression (contains only negative, conjunction, disjunction and contains, can take small brackets, compound proposition contains three logical argument) through the propositional variables all possible assignment to determine whether the expression can satisfy for the type