formulas(sos). e * x = x. x' * x = e. (x * y) * z = x * (y * z). x * x = e. end_of_list. formulas(goals). x * y = y * x. end_of_list.
formulas(sos). e * x = x. x' * x = e. (x * y) * z = x * (y * z). x * x = e. end_of_list. formulas(goals). x * y = y * x. end_of_list.