Threaded Mode | Linear Mode

compsystems · (This post was last modified: 06-08-2016 04:59 PM by compsystems.)

sorry for my bad English

1: NEG operator in large font is not well displayed, please separate it.

see screencapture

compsystems · (This post was last modified: 06-07-2016 01:15 AM by compsystems.)

2: the result of the Boolean operations, must be symbolic and not their numeric equivalents.

in some occasions it shows symbolically sometimes not, the system must be consistent, or all numeric (1 or 0) or all (true, false) I prefer the standard true / false is also more didactic, I always think of my students

NOT (x==(-x)) returns true OK =)
x==(-x) returns 0 =(

(true)? true:false; returns true OK =)
(false)? true:false; returns false OK =)

when(true,true,false); returns true OK =)
when(false,true,false); returns false OK =)

IFTE(true,true,false); returns 1 =(