Logic

All of the symbols used to denote logic are supported by the equation editor. Most can be entered using standard Nemeth symbols. However, because "XOR" (exclusive or), is written as a circled plus in print, it must be entered from the palette.

Exercises

Type the following expressions into the equation editor below and verify that the equation editor produces the proper Nemeth braille output in each case. Also verify that a sighted friend can read each expression you have typed as it is displayed on the screen. Feel free to try your own examples.

• X not y
• X and y
• P or q = r & s
• X xor y
• P or (q & s)