logic

Propositional calculus

Why ( P ^ Q ) === ( ~P -> Q ) ? How to prove? Thanks! ...

Minimum number of checks to validate a truth table

Hi all, I have a java program where I want to validate if any of 3 booleans is false. I want to figure out the smallest expression I can write to check against the permutations. if(!(needsWork && (needsApproval || isAdmin) )) I think this is enough to make sure that if any of the 3 booleans is false I want to stop processing. H...