Thanks, that's interesting stuff. And while it's great for formal logic, it looks like there's widespread agreement the laws don't always work for natural languages. For our case, if A=satisfactory and B=allowable, is it not(A or B), or is it shorthand for not A or not B?
