import("names.rr");
load("bfct");
F=(1-x)*(1-y)+(1-x)*(1-z)+(1-y)*(1-z);
A=ann(F);
poly_factor(bfct(F));
print(A);