Boolean polynomial

Summary