3 ms·
> (A ∧ B ⇒ C) ⇒ (A ⇒ (B ⇒ C)) > Since this logical formula is a tautology You forgot to say 'obviously' /s
by _a_a_a_ 3y ago
> (A ∧ B ⇒ C) ⇒ (A ⇒ (B ⇒ C))
> Since this logical formula is a tautology
You forgot to say 'obviously' /s
loading thread…