We want to make something that derive clausal forms of formulae in propositional logic.
Remember on the slides/notes that
> means ‘implies’.
| means or.
You just do a specific sequence of actions to simplify. Can see this on the ‘Decompositions & Representations’ slide.
Loads of stuff about rearranging propositions. Is this really important? Doesn’t sound like FUN, sounds like MCS in Haskell.
Haha. Tail-closed is the same as ‘prefix-closed’ in FSS.
Examples of tail-closed properties of a list:
- no repeats
- ‘does not contain x’
Examples of non tail-closed properties:
- length (sorta)
- ‘does contain x’
- has repeats