((A AND B) equivalent ( NOT C) )