Push_Not - Texas Instruments TI-89 Developer's Manual

Appendix A: System Routines — Logic

push_not

Declaration: void push_not (EStackIndex i )
Category(ies): Logic
Description: Pushes onto the estack the internally-simplified form of the logical negation
of the expression indexed by i . ~ distributes over equations and
inequalities. Also, Boolean expressions generally simplify to a disjunctive
form a1 and a2 and . . . or b1 and b2 and . . . or . . . , where a1, a2, etc. are
equations, inequalities, variables, or a NOT_TAG on top of a variable.
Example: ~(~a or (b and c = d)) simplifies to a and ~b or a and c ƒ d.
Inputs: i
Outputs: None
Assumptions: None
Side Effects: None
Availability: On AMS 2.02 and higher.
TI-89 / TI-92 Plus
Differences: None
See Also: push_and, push_or, and_onto_top, or_onto_top,
replace_top2_with_and, replace_top2_with_or
Example:
push_quantum (TRUE_TAG);
push_not (top_estack);
TI-89 / TI-92 Plus Developer Guide
— Indexes the top tag of an internally-simplified Boolean expression.
/* Pushes FALSE_TAG */
Not for Distribution
741
Beta Version January 26, 2001