((not A) and (not b) and c) or ((not A) and b and (not c)) or ((not A) and b and c) or (A and b and (not c))