
If a,b are not 0, the the product of a and b is not 0
cnf(a_not_equal_to_additive_identity_4,negated_conjecture, ( ~ equalish(a,additive_identity) )). cnf(b_not_equal_to_additive_identity_5,negated_conjecture, ( ~ equalish(b,additive_identity) )). cnf(multiply_equals_c_6,negated_conjecture, ( equalish(multiply(a,b),c) )). cnf(c_equals_additive_identity_7,negated_conjecture, ( equalish(c,additive_identity) )).
Copyright 2019 Inference Web group.
All Rights Reserved.