Parsnip@lemmy.sdf.org to math@lemmy.sdf.org · edit-23 years agoInteresting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)plus-squaremathb.inexternal-linkmessage-square0linkfedilinkarrow-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-23 years agomessage-square0linkfedilink
