Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on If-then-else had to be invented. Parent comment
(((w ∨ c) → a) ↔ ((w → a) ∧ (c → a)))
That is, an implication whose antecedent is a disjunction is a conjunction of implications. On the other hand,
((a → (w ∨ c)) ↔ ((a → w) ∨ (a → c)))
That is, an implication whose consequent is a disjunction is a disjunction of implications.
There are no comments on this comment yet.
(((w ∨ c) → a) ↔ ((w → a) ∧ (c → a)))
That is, an implication whose antecedent is a disjunction is a conjunction of implications. On the other hand,
((a → (w ∨ c)) ↔ ((a → w) ∨ (a → c)))
That is, an implication whose consequent is a disjunction is a disjunction of implications.