NOT( A OR B ) <==> NOT(A) AND NOT(B) NOT( A AND B ) <==> NOT(A) OR NOT(B) #### NOT( ($odometer[$wheel] < 9 || $wheel < 0) ) ==> NOT($odometer[$wheel] < 9 ) AND NOT ($wheel < 0) ==> $odometer[$wheel] >= 9 AND $wheel >= 0