SAT问题 用java怎么写

SAT问题
1.将一个长度为n的二进制串s初始化为00⋯0;
2.循环直到串s为11⋯1
2.1将二进制串s代入给定的合取范式中;
2.2若合取范式取值为TRUE,则将串s作为结果输出,算法结束;
2.3否则,将串s加1;
3.输出“无解”;
用java怎么写