Check out my first novel, midnight's simulacra!

Programming Language Theory: Difference between revisions

From dankwiki
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/Programming_Language_Theory"