a new object with type S, a subtype of T
|
|
|
A(x,
y)
OR (disjunction): x | y => True iff at least one of x, y is True |
source code
|
|
|
_C_material(x,
y)
IMP (material implication) x >> y => False iff x == True and
y == False |
source code
|
|
|
_C_material_reversed(y,
x)
IMP (material implication) x >> y => False iff x = True and
y = False |
source code
|
|
|
_C_relevant(x,
y)
IMP (relevant implication) x >> y => True iff both x, y are
True, False iff x == True and y == False, Other if x is False |
source code
|
|
|
_C_relevant_reversed(y,
x)
IMP (relevant implication) x >> y => True iff both x, y are
True, False iff x == True and y == False, Other if y is False |
source code
|
|
|
D(x,
y)
NAND (negative AND) x.D(y): False iff x and y are both True |
source code
|
|
|
E(x,
y)
EQV (equivalence) x.E(y): True iff x and y are the same |
source code
|
|
|
J(x,
y)
XOR (parity) x ^ y: True iff only one of x,y is True |
source code
|
|
|
K(x,
y)
AND (conjunction) x & y: True iff both x, y are True |
source code
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
__add__(x,
y)
OR (disjunction): x | y => True iff at least one of x, y is True |
source code
|
|
|
__and__(x,
y)
AND (conjunction) x & y: True iff both x, y are True |
source code
|
|
|
__mul__(x,
y)
AND (conjunction) x & y: True iff both x, y are True |
source code
|
|
|
__neg__(x)
NEG (negation) -x: True iff x = False |
source code
|
|
|
__or__(x,
y)
OR (disjunction): x | y => True iff at least one of x, y is True |
source code
|
|
|
__radd__(x,
y)
OR (disjunction): x | y => True iff at least one of x, y is True |
source code
|
|
|
__rand__(x,
y)
AND (conjunction) x & y: True iff both x, y are True |
source code
|
|
|
__rmul__(x,
y)
AND (conjunction) x & y: True iff both x, y are True |
source code
|
|
|
__ror__(x,
y)
OR (disjunction): x | y => True iff at least one of x, y is True |
source code
|
|
|
__rxor__(x,
y)
XOR (parity) x ^ y: True iff only one of x,y is True |
source code
|
|
|
__xor__(x,
y)
XOR (parity) x ^ y: True iff only one of x,y is True |
source code
|
|
Inherited from object :
__delattr__ ,
__format__ ,
__getattribute__ ,
__init__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__ ,
__sizeof__ ,
__subclasshook__
|