If we assume the '4' in cell A is false,
⇒ The 4 in cell B is true.
⇒ The 4 in cell C is false.
⇒ The 4 in cell D is true.
Separately, if we assume the '4' in cell D is false,
⇒ The 4 in cell C is true.
⇒ The 4 in cell B is false.
⇒ The 4 in cell A is true.
This means that the value in cell A or cell D (or both) must be '4'.