Simplification of expressions for TruthUtils functions. The logic is unchanged, only the expressions are simplified.
@jchapman @pclark @ewelina