Parsnip@lemmy.sdf.org to Source Ports@lemmy.sdf.orgEnglish · edit-21 year agoPrBoom+ (Doom)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkPrBoom+ (Doom)plus-squaregithub.comParsnip@lemmy.sdf.org to Source Ports@lemmy.sdf.orgEnglish · edit-21 year agomessage-square0fedilink
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-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-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-square1fedilink
