NO not true false not false true or true y true or x true true or false false false and true true true and x true x and true y y and false false false not and x y or not x not y not or x y and not x not y 2.1 not or c_1 true not or x y and not x not y and not c_1 not true 2 not true false and not c_1 false not or c_1 true 1 or x true true not true not true false false and 2 1 2 c_1 0 not 1 false 0 c_1 0 4 false 0 3 not 0 2 and 2 1 ACP 0.72