Lines Matching refs:a5
4348 ~(a1 /\ a2 \/ ~a3 /\ (a4 = a5) = a6 /\ b6) \/
4352 ~a3 /\ ~a4 /\ ~a5 /\ ~a6 \/
4353 ~a3 /\ a4 /\ a5 /\ ~a6 \/
4359 ~a3 /\ ~a4 /\ ~a5 /\ ~b6 \/
4360 ~a3 /\ a4 /\ a5 /\ ~b6 \/
4367 ~a1 /\ a4 /\ ~a5 /\ a6 /\ b6 \/
4368 ~a2 /\ a4 /\ ~a5 /\ a6 /\ b6 \/
4369 ~a1 /\ ~a4 /\ a5 /\ a6 /\ b6 \/
4370 ~a2 /\ ~a4 /\ a5 /\ a6 /\ b6 \/
4379 ~a3 /\ ~a4 /\ ~a5 /\ ~a6 \/
4380 ~a3 /\ a4 /\ a5 /\ ~a6 \/
4386 ~a3 /\ ~a4 /\ ~a5 /\ ~b6 \/
4387 ~a3 /\ a4 /\ a5 /\ ~b6 \/
4394 ~a1 /\ a4 /\ ~a5 /\ a6 /\ b6 \/
4395 ~a2 /\ a4 /\ ~a5 /\ a6 /\ b6 \/
4396 ~a1 /\ ~a4 /\ a5 /\ a6 /\ b6 \/
4397 ~a2 /\ ~a4 /\ a5 /\ a6 /\ b6 \/
4401 (s1 = ~(a1 /\ a2 \/ ~a3 /\ (a4 = a5) = a6 /\ b6)) /\
4454 (car5 = (a5 \/ b5) /\ car4 \/ a5 /\ b5) /\
4457 (som5 = ~(a5 = ~(b5 = car4))) /\
4466 (cout5 = cout4 /\ b5 \/ cout4 /\ a5 \/ b5 /\ a5)
4478 ~((~a5 /\ ~b5 \/ a5 /\ b5) /\ ~cout4 \/
4479 cout4 /\ ~(~a5 /\ ~b5 \/ a5 /\ b5))) /\
4547 (car5 = (a5 \/ b5) /\ car4 \/ a5 /\ b5) /\
4554 (som5 = ~(a5 = ~(b5 = car4))) /\
4563 (cout5 = cout4 /\ b5 \/ cout4 /\ a5 \/ b5 /\ a5) /\
4577 ~((~a5 /\ ~b5 \/ a5 /\ b5) /\ ~cout4 \/
4578 cout4 /\ ~(~a5 /\ ~b5 \/ a5 /\ b5))) /\