New phase transitions for formulas in Lukasiewicz logic

摘要

1 Introduction L-clausal forms is an interesting class of formulas in Eukasiewicz logic that was shown to be NP-complete[1].These formulas are defined over the following Lukasiewicz operations:negation-x=1-x strong disjunction x■y=min{1,x+y},strong conjunction x⊙y=max{x+y-1,0}and weak disjunction x■y=max{x,y}.