my $x ='((A & B)\' | (A & C & (A & B & D | (A & (B\' & D)\')\'))';