I
n
[
]
:
=
S
i
m
p
l
i
f
y
[
2
c
(
1
-
c
)
+
(
1
-
2
c
)
(
a
-
c
)
b
>
0
,
0
<
a
<
1
&
&
0
<
b
<
1
&
&
0
<
c
<
1
]
O
u
t
[
]
=
T
r
u
e