A_lt_B

00 01 11 10
00 1 1 1
01 1 1
11
10 1

(1)
A0 1
A1 0,1
B0 1
B1 0,1

=(~A0)B1

(2)
A0 0
A1 0
B0 0,1
B1 1

=(~A0)(~A1)B1

(3)
A0 0,1
A1 0
B0 1
B1 1

=(~A1)B0B1


A_lt_B=(~A0)B1 + (~A0)(~A1)B1 + (~A1)B0B1