not A and not B and not C or A and not B and C or A and B and not C or A and B and C