3.1.4. Logical Expressions¶
3.1.4.1. Syntax of Logical Expressions¶
Can defined constants equal to
True
andFalse
of the typebool
These constants can be combined to form a Logical Expression via the Logical Operators
and
,or
andnot
3.1.4.2. Semantics of Logical Expressions¶
a and b
is True only if both expressions are Truea or b
is True if at least one expression is Truenot a
is True if the single expression is False
Looked at differently:
True and True is True
True and False is False
False and True is False
False and False is False
True or True is True
True or False is True
False or True is True
False or False is False
not True is False
not False is True
3.1.4.3. Truth Table for NOT¶
a |
NOT a |
---|---|
T |
F |
F |
T |
3.1.4.4. Truth Table for AND¶
a |
b |
a AND b |
---|---|---|
F |
F |
F |
F |
T |
F |
T |
F |
F |
T |
T |
T |
3.1.4.5. Truth Table for OR¶
a |
b |
a OR b |
---|---|---|
F |
F |
F |
F |
T |
T |
T |
F |
T |
T |
T |
T |
3.1.4.6. Examples of Logical Expressions¶
a = True
b = False
c = True
d = False
print a
print b
print "==="
print not a
print a and b
print a or b
print (a and b) or (c and (not d))
True
False
===
False
False
True
True
type(a)
bool