WFF |
|
Type a boolean expression (identifiers, parentheses, and operators 'and', 'or', '->', 'not') in the Wff area of the HTML FORM below and press the 'go' button. Experiment. Remember, there are three possible outcomes: A Wff is either a tautology (always true), a contradiction (always false), or satisfiable (sometimes true, sometimes false). Exercises
Notes
|
|
↑ © L. Allison, www.allisons.org/ll/ (or as otherwise indicated). Created with "vi (Linux)", charset=iso-8859-1, fetched Friday, 29-Mar-2024 04:44:28 UTC. Free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop, Firefox web-browser, FlashBlock flash on/off. |