{C or B,not(C or B),B and not(C or B),A or (B and not(C or B)),not(A or (B and not(C or B)))}