A PCN form URP based boolean calculator