NOT( ($odometer[$wheel] < 9 || $wheel < 0) ) 
==>
NOT($odometer[$wheel] < 9 ) AND NOT ($wheel < 0) 
==> 
$odometer[$wheel] >= 9 AND $wheel >= 0