Title :
Matrix Method for Principal Normal Form of Propositional Formula
Author :
Ting-Ming, Wang ; Aiqing, Wang
Author_Institution :
Qingdao Univ., Qingdao
fDate :
July 30 2007-Aug. 1 2007
Abstract :
A matrix method for principal normal form of propositional formula is derived from disjunctive normal form and conjunctive normal form based on the extension principle and deletion principle of superscript vectors of simplified phrase and simplified clause. Calculation process of principal normal form with equivalent calculus or truth table is simplified by the method presented.
Keywords :
formal logic; matrix algebra; conjunctive normal form; disjunctive normal form; matrix method; principal normal form; propositional formula; superscript vectors deletion principle; superscript vectors extension principle; Artificial intelligence; Calculus; Distributed computing; Educational institutions; Logic; Mathematics; Software engineering;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-0-7695-2909-7
DOI :
10.1109/SNPD.2007.320
