a red target (( hanged - risc.jku.at filee aiting e y red target hanged: a: c:): b: c:): ^: a: b: _:...

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.¬

.C

.⇒

.B

.C

.⇒

.∧

.A

.¬

.B

.∨

.C

.⇒

.⇒

.A

.¬

.B

.∨

.C

.⇒

.A

.¬

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((¬

A⇒C

)∧(B

⇒C

))⇒

((¬A

∨B)⇒

C))∧(

((¬A

∨B)⇒

C)⇒

((¬A

⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.⇒

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))⇒

((A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∧

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∧(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∨(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∨(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.⇒

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

⇒C

)∨(B

⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B⇒C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.⇒

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)⇒C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∨

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∨B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.⇒

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)⇒((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.⇒

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)⇒C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.⇒

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A⇒C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.∨

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A∨C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.∨

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A∨C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.∨

.B

.C

.⇒

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A∨C

)∧(B

⇒C

)))

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.∨

.B

.C

.∨

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A∨C

)∧(B

∨C))

)

pas

sive

wai

tin

gac

tive

pri

orit

yfi

red

targ

etch

ange

d

.A

.C

.∧

.B

.C

.∧

.∨

.A

.B

.∧

.C

.∨

.∨

.A

.B

.∨

.C

.∧

.A

.C

.∨

.B

.C

.∨

.∧

.∨

.∧

(((A

∧C)∨

(B∧C

))∨(

(A∧B

)∨C

))∧(

((A∨B

)∧C

)∨((A∨C

)∧(B

∨C))

)