wizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 2 days agoTrick XOR Treatlemmy.dbzer0.comimagemessage-square40fedilinkarrow-up1754file-text
arrow-up1754imageTrick XOR Treatlemmy.dbzer0.comwizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 2 days agomessage-square40fedilinkfile-text
minus-squaresilasmariner@programming.devlinkfedilinkarrow-up1·4 hours agoIt’s a reasonable convention that matches the common DNF (disjunctive normal form) of propositional logic, can confirm it’s the right read. I’d still probably use parentheses for the ∧ (and/conjunction), though I’d never bother with it for ¬ (negation)
It’s a reasonable convention that matches the common DNF (disjunctive normal form) of propositional logic, can confirm it’s the right read.
I’d still probably use parentheses for the ∧ (and/conjunction), though I’d never bother with it for ¬ (negation)