loading...
Matrix Method for Principal Normal Form of Propositional Formula
Haier International Training Center, Qingdao, China July 30-August 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.320Eighth ACIS International Conference ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Wang Ting-ming, Wang Aiqing, "Matrix Method for Principal Normal Form of Propositional Formula," Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, vol. 3, pp. 1064-1067, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SNPD.2007.320,
author = {Wang Ting-ming and Wang Aiqing},
title = {Matrix Method for Principal Normal Form of Propositional Formula},
journal ={Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on},
volume = {3},
year = {2007},
isbn = {0-7695-2909-7},
pages = {1064-1067},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.320},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
TI - Matrix Method for Principal Normal Form of Propositional Formula
SN - 0-7695-2909-7
SP1064
EP1067
A1 - Wang Ting-ming,
A1 - Wang Aiqing,
PY - 2007
KW - null
VL - 3
JA - Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on
ER -
 
Wang Ting-ming, Normal College of Qingdao University, China
Wang Aiqing, Qingdao Technological University, China
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.
Citation:
Wang Ting-ming, Wang Aiqing, "Matrix Method for Principal Normal Form of Propositional Formula," snpd, vol. 3, pp.1064-1067, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.