Results of the analysis of complexity of problems

Notice that some results can be calculated...

Gamma with literalas is easier because it has the same formulas and connectives and some more formulas...