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-squaremathb.inexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squaremathb.inParsnip@lemmy.sdf.org to math@lemmy.sdf.org · edit-21 year agomessage-square0fedilink