Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Clausal Forms

  • A clause is a set of literals which is assumed (implicitly) to be a disjunction of those literals

    • Example:

  • Unit clause: clause with only one literal; e.g. {¬ q }

  • Clausal form of a formula: Implicit conjunction of clauses

  • Example:

    Abbreviated notation:

  • Notation:

    • l -literal, l c -complement of l

    • C -clause (a set of literals)

    • S -a clausal form (a set of clauses)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.