next up previous contents index
Next: Numeric Abstractions Up: Basic Abstractions Previous: or   Contents   Start

Application of extended logical abstractions


(bdisp! (not true))
                             --> false
(bdisp! (not false))
                             --> true
(bdisp! (and true true))
                             --> true
(bdisp! (and true false))
                             --> false
(bdisp! (and false true))
                             --> false
(bdisp! (and false false))
                             --> false
(bdisp! (or true true))
                             --> true
(bdisp! (or true false))
                             --> true
(bdisp! (or false true))
                             --> true
(bdisp! (or false false))
                             --> false



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz