Appendix A: System Routines — Logic
741
TI
-
89 / TI
-
92 Plus Developer Guide
Not for Distribution
Beta Version January 26, 2001
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
— Indexes the top tag of an internally-simplified Boolean expression.
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); /* Pushes FALSE_TAG */
To Next Page
Loading...
Need help?
General
