r
u
l
e
:
d
e
f
i
n
i
t
i
o
n
l
o
g
b
(
b
)
l
o
g
b
(
1
)
l
o
g
b
(
x
y
)
l
o
g
b
1
x
l
o
g
b
x
y
l
o
g
b
(
x
b
)
l
o
g
b
x
y
l
o
g
a
(
b
)
l
o
g
a
(
x
)
S
i
n
c
e
l
o
g
b
(
x
)
=
l
o
g
b
(
l
o
g
a
(
x
)
a
)
=
l
o
g
b
(
a
)
l
o
g
a
(
x
)
,
i
t
f
o
l
l
o
w
s
t
h
a
t
,
d
i
v
i
d
i
n
g
b
y
l
o
g
b
(
a
)
a
n
d
s
w
i
t
c
h
i
n
g
s
i
d
e
s
,
l
o
g
a
(
x
)
=
l
o
g
b
(
x
)
l
o
g
b
(
a
)
.