DocumentCode
3232009
Title
Matrix Method for Principal Normal Form of Propositional Formula
Author
Ting-Ming, Wang ; Aiqing, Wang
Author_Institution
Qingdao Univ., Qingdao
Volume
3
fYear
2007
fDate
July 30 2007-Aug. 1 2007
Firstpage
1064
Lastpage
1067
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SNPD.2007.320
Filename
4288007
Link To Document