load(cpc);

X := ~(~A v ~(~B v ~A));

display(truthtable(X));