În 2007 am propus următoarea problemă:
Găsiţi afirmaţiile adevărate şi false din următoarea secvenţă de patru aserţiuni:
cu soluţia următoare (o variantă):
Presupunem că 3 este falsă.
Dacă 1 F şi 4 A, atunci din afirmaţia 4 avem 2 F.
Atunci 3 A, contradicţie.
Rămâne deci că afirmaţia 3 este adevărată.
Presupunem că 1 A. 1 A şi 3 A implică 2 F şi prin urmare 1 F, contradicţie.
Rămâne deci că 1 F.
Din 1 F şi 3 A deducem 2 A.
Dacă presupunem că 4 A, atunci 3 A implică 2 F, contradicţie. Deci 4 F.
Aşadar afirmaţiile 2 şi 3 sunt adevărate iar afirmaţiile 1 şi 4 sunt false.
Revenind la problema curentă, rezultă a1=a4=0, a2=a3=1. Deci N=0*20160+1*20161 +1*20162+0*20163
= 2016+20162 = 2016*2017 = 4.066.272