The following formula is not a tautology: (((B⇒C) ^ ¬(B⇒ A)) ⇒ ¬(C' ^ D⇒ A)) Find an interpretation that makes the formula false. Then copy the interpretation below, checking all and only the propositional symbols that are true. A B D