cazul 1)
a+b>7
b≤6
⇒ b={1,2,3,4,5,6}
a+1≤4
a≤3 ⇒ a={1,2,3}
variante:
a=2, b=6
a=3, b=5 varianta exclusa (avem 2 echiunitare)
a=3, b=6 varianta excusa (avem 2 echiunitare)
cazul 2)
b>6 (1)
a+b≤7
a+1≤4
a≤3 ⇒ a={1,2,3} ⇒ b={4,5,6} dar avem conditia (1) deci contradictie
cazul 3)
a+1>4 ⇒ a>3 (2)
a+b≤7
b≤6
a≤3 contradictie cu (2)
cazul 4)
a>3 (3)
a+b≤7
b≤6
a+1≤4 ⇒ a≤3 contradictie cu (3)
singura varianta a=2, b=6
