is there a rule order in Conjunctive normal form conversion

前端 未结 0 1155
失恋的感觉
失恋的感觉 2021-01-19 01:10

If I have (x1 /\\ x2 / x3) does it matter if I start with (x1 /\\ x2) or (x2 / x3)?

here are the rules im using rules

and here is applying the rules in eithe

相关标签:
回答
  • 消灭零回复
提交回复
热议问题