truth table D=>B