wizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 1 month agoTrick XOR Treatlemmy.dbzer0.comimagemessage-square41linkfedilinkarrow-up1793arrow-down16file-text
arrow-up1787arrow-down1imageTrick XOR Treatlemmy.dbzer0.comwizardbeard@lemmy.dbzer0.com to Programmer Humor@programming.devEnglish · 1 month agomessage-square41linkfedilinkfile-text
minus-squareLifterlinkfedilinkarrow-up1·1 month agoNice, so my gut feeling about not needing the parenthesis above was right.
minus-squareCaptain Aggravated@sh.itjust.workslinkfedilinkEnglisharrow-up2·1 month agoI store-brand googled it, so I feel I’m not an authority to say one way or another!
minus-squaresilasmariner@programming.devlinkfedilinkarrow-up1·1 month 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)
Nice, so my gut feeling about not needing the parenthesis above was right.
I store-brand googled it, so I feel I’m not an authority to say one way or another!
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)