HTab-1.6.1: examples/sat/test33.frm

begin
n1:[]false;
n2:<>true;
(<><>true ) v (n2 & n1)
end