Normal Form of Łukasiewicz Logic Formulae and Related Counting Problems

DOI10.3724/SP.J.1001.2013.04231zbMath1289.03009OpenAlexW2317225447MaRDI QIDQ5398591

Qingping Wang, Wang, Guojun

Publication date: 28 February 2014

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2013.04231

zbMATH Keywords

counting problemShannon expansion\(n\)-valued McNaughton functionlogic equivalence class

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Logic in computer science (03B70) Many-valued logic (03B50)

This page was built for publication: Normal Form of Łukasiewicz Logic Formulae and Related Counting Problems