Parsnip@lemmy.sdf.org to math@lemmy.sdf.org • edit-21 year agoInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squareexternal-linkmessage-square1 fedilinkarrow-up12
arrow-up12external-linkInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squareParsnip@lemmy.sdf.org to math@lemmy.sdf.org • edit-21 year agomessage-square1 Commentsfedilink
