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