Logikai formula átírása Java nyelve, valaki tud segíteni?

∀i((ai > 0) ⊃ ∃j((i < j) ^ (j > 3) ⊃ (aj = ai)))

ahol i,j { 1...8 }

ebből hogy lesz

boolean k1 = true;

for ( int i = 1; i <= 8; i++ ) {

if ( a[i] > 0 ) {

boolean k2 = false;

for ( int j = 1; j <= 8; j++ )

if ( !( i<j && j>3 ) || a[j]==a[i] )

k2 = true;

k1 = k1 && k2;

}

}

return k1;

A második for utáni If-et nem értem