Matrix Method for Principal Normal Form of Propositional Formula | IEEE Conference Publication | IEEE Xplore