Task 4 - Legal CNF Definition

מנהלים: The Architect, The Architect

נעול
oridov
הודעות: 11
הצטרף: 14:32 29/11/2008

Task 4 - Legal CNF Definition

שליחה על ידי oridov » 02:36 22/12/2008

by assuming that phi is a legal CNF, does it mean X1 can appear only once in a clause?

TA_Kfir
הודעות: 60
הצטרף: 16:32 05/11/2008

שליחה על ידי TA_Kfir » 17:39 22/12/2008

see FAQ
צוות מבוא למדעי המחשב (מתרגל)

נעול

חזור אל “- מבוא למדעי המחשב”