function r = BR_CNF_3CNF
%

r = [];

for b = 0:31
    A = mod(floor(b/16),2);
    B = mod(floor(b/8),2);
    C = mod(floor(b/4),2);
    D = mod(floor(b/2),2);
    E = mod(b,2);
    val1 = A|B|C|D;
    val2 = ((A|B|E)&(C|D|~E))|((A|B|~E)&(C|D|E));
    if val1~=val2
        r = [r;A,B,C,D,E,val1,val2];
    end
end
