dankwiki

Programming Language Theory: Difference between revisions

← Older editNewer edit →

Dank (talk | contribs)

2 user groups
11,302 edits
Line 145: Line 145:
| A :- B || B ⇒ A || ~B ∨ A
| A :- B || B ⇒ A || ~B ∨ A
|-
|-
| A :- B, C, D || B ∧ C ∧ D ⇒ A || ~B ∨ ~C ∨ ~D ∨ A
| A :- B, C, D || B ∧ C ∧ D ⇒ A ≡ ~(B ∧ C ∧ D) ∨ A || ~B ∨ ~C ∨ ~D ∨ A
|}
|}


Retrieved from "https://nick-black.com/dankwiki/index.php?title=Programming_Language_Theory"