文件名称：Logic and logic-based control (2008年)
文件大小：244KB
文件格式：PDF
更新时间：2024-05-31 08:26:10
工程技术 论文
This paper gives amatrix expression of logic. Under the matrix expression,ageneral description of the logical operators is proposed. Using the semi-tensor product of matrices,the proofs of logical equivalences,implications, etc.,can be simplified alot. C