truth table ~c=>[c=>d]