Boolean logic: Difference between revisions

Content deleted Content added
Reverted to revision 404707376 by 206.209.220.20; that's all well and good, but male-female is just an example and this isn't the place for such commentary. (TW)
English language use of Boolean terms: removed imperative (I'm sad you did not think my m/f discussion to be a useful example of use of logic terms.)
Line 182:
* The use of "and/or" is generally disfavored in [[Standard written English|formal writing]].<ref>[http://www.ntsc.navy.mil/Resources/Library/Acqguide/SpecWord.htm#and_or Usage Guide].</ref> Its usage may introduce critical imprecision in [[Legal English|legal agreements]], research findings, and [[specification]]s for [[computer program]]s or [[electronic circuit]]s.
 
This can be a significant challenge when providing precise specifications for a computer program or electronic circuit in English. The description of such functionality may be ambiguous. Take for example the statement, "The program should verify that the applicant has checked the male '''or''' female box." This shouldis beusually interpreted as an '''XOR''' and so a verification is performed to ensure that one, and only one, box is selected. In other cases the properintended interpretation of English may be less obvious; the author of the specification should be consulted to determine the original intent.
 
==Applications==