Added overloading method for inversion operator in logic class