clausal normal form造句
- In automated theorem proving, the notion " " clausal normal form " " is often used in a narrower sense, meaning a particular representation of a CNF formula as a set of sets of literals.
- The framework has been designed to enhance human readability of intermediate formulas : contrary to classical resolution, it does not require clausal normal form, but allows one to reason with formulas of arbitrary structure and containing any junctors.
- Although the kernel of the system works only with clausal normal forms, the preprocessor component accepts a problem in the full first-order logic syntax, clausifies it and performs a number of useful transformations before passing the result to the kernel.
- It's difficult to find clausal normal form in a sentence. 用clausal normal form造句挺難的