K = truth table  not(not(not(D1) or not(D0) or A))

truth table  [not(not(not(D1) or not(D0) or A))  or B ] and not(not (D1 or D0 or B ) )  


truth table  not[[not(not(not(D1) or not(D0) or A))  or B ] and not(not (D1 or D0 or B ) )  ]  or [not(A xor D0) and B]

or [ (not(D0) and not(B) or not(D1) and D0 ) and A ]





truth table  not[[not(not(not(D1) or not(D0) or A))  or B ] and not(not (D1 or D0 or B ) )  ]  or [not(A xor D0) and B]  or [ (not(D0) and not(B) or not(D1) and D0 ) and A ]