Logicons
"Logicons" are functionalities used to compare "Logic States" of one, two or more operands/expressions,
the result of which is a "bool-val" (True or False).
&& <> ><
!&& !<> !>< !x
and() .and && AND a && b (a > b) && (c < d)
nand() .nand !&& NAND a !&& b (a > b) !&& (c < d)
or() .or <> OR a <> b (a > b) <> (c < d)
nor() .nor !<> NOR a !<> b (a > b) !<> (c < d)
xor() .xor >< XOR a >< b (a > b) >< (c < d)
nxor() .nxor !>< NXOR a !>< b (a > b) !>< (c < d)
not() .not !a NOT !a !(a > b)
Logicon AND
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
and() and(aaaaa bbbbb ccccc) and() and(aaaaa bbbbb ggggg) and() and(aaaaa fffff ggggg)
.and .and aaaaa bbbbb ccccc .and .and aaaaa bbbbb ggggg .and .and aaaaa fffff ggggg
&& aaaaa && bbbbb && ccccc && aaaaa && bbbbb && ggggg && aaaaa && fffff && ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
True True False False False False
and() and(eeeee fffff ggggg) and() and(eeeee fffff ccccc) and() and(eeeee bbbbb ccccc)
.and .and eeeee fffff ggggg .and .and eeeee fffff ccccc .and .and eeeee bbbbb ccccc
&& eeeee && fffff && ggggg && eeeee && fffff && ccccc && eeeee && bbbbb && ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
False False False False False False
Logicon NAND
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
nand() nand(aaaaa bbbbb ccccc) nand() nand(aaaaa bbbbb ggggg) nand() nand(aaaaa fffff ggggg)
.nand .nand aaaaa bbbbb ccccc .nand .nand aaaaa bbbbb ggggg .nand .nand aaaaa fffff ggggg
!&& aaaaa !&& bbbbb !&& ccccc !&& aaaaa !&& bbbbb !&& ggggg !&& aaaaa !&& fffff !&& ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
False False False False False False
nand() nand(eeeee fffff ggggg) nand() nand(eeeee fffff ccccc) nand() nand(eeeee bbbbb ccccc)
.nand .nand eeeee fffff ggggg .nand .nand eeeee fffff ccccc .nand .nand eeeee bbbbb ccccc
!&& eeeee !&& fffff !&& ggggg !&& eeeee !&& fffff !&& ccccc !&& eeeee !&& bbbbb !&& ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
True True False False False False
Logicon OR
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
or() or(aaaaa bbbbb ccccc) or() or(aaaaa bbbbb ggggg) or() or(aaaaa fffff ggggg)
.or .or aaaaa bbbbb ccccc .or .or aaaaa bbbbb ggggg .or .or aaaaa fffff ggggg
<> aaaaa <> bbbbb <> ccccc <> aaaaa <> bbbbb <> ggggg <> aaaaa <> fffff <> ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
True True True True True True
or() or(eeeee fffff ggggg) or() or(eeeee fffff ccccc) or() or(eeeee bbbbb ccccc)
.or .or eeeee fffff ggggg .or .or eeeee fffff ccccc .or .or eeeee bbbbb ccccc
<> eeeee <> fffff <> ggggg <> eeeee <> fffff <> ccccc <> eeeee <> bbbbb <> ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
False False True True True True
Logicon NOR
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
nor() nor(aaaaa bbbbb ccccc) nor() nor(aaaaa bbbbb ggggg) nor() nor(aaaaa fffff ggggg)
.nor .nor aaaaa bbbbb ccccc .nor .nor aaaaa bbbbb ggggg .nor .nor aaaaa fffff ggggg
!<> aaaaa !<> bbbbb !<> ccccc !<> aaaaa !<> bbbbb !<> ggggg !<> aaaaa !<> fffff !<> ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
False False True True True True
nor() nor(eeeee fffff ggggg) nor() nor(eeeee fffff ccccc) nor() nor(eeeee bbbbb ccccc)
.nor .nor eeeee fffff ggggg .nor .nor eeeee fffff ccccc .nor .nor eeeee bbbbb ccccc
!<> eeeee !<> fffff !<> ggggg !<> eeeee !<> fffff !<> ccccc !<> eeeee !<> bbbbb !<> ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
True True True True True True
Logicon XOR
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
xor() xor(aaaaa bbbbb ccccc) xor() xor(aaaaa bbbbb ggggg) xor() xor(aaaaa fffff ggggg)
.xor .xor aaaaa bbbbb ccccc .xor .xor aaaaa bbbbb ggggg .xor .xor aaaaa fffff ggggg
>< aaaaa >< bbbbb >< ccccc >< aaaaa >< bbbbb >< ggggg >< aaaaa >< fffff >< ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
False False False False True True
xor() xor(eeeee fffff ggggg) xor() xor(eeeee fffff ccccc) xor() xor(eeeee bbbbb ccccc)
.xor .xor eeeee fffff ggggg .xor .xor eeeee fffff ccccc .xor .xor eeeee bbbbb ccccc
>< eeeee >< fffff >< ggggg >< eeeee >< fffff >< ccccc >< eeeee >< bbbbb >< ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
False False True True False False
Logicon NXOR
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
nxor() nxor(aaaaa bbbbb ccccc) nxor() nxor(aaaaa bbbbb ggggg) nxor() nxor(aaaaa fffff ggggg)
.nxor .nxor aaaaa bbbbb ccccc .nxor .nxor aaaaa bbbbb ggggg .nxor .nxor aaaaa fffff ggggg
!>< aaaaa !>< bbbbb !>< ccccc !>< aaaaa !>< bbbbb !>< ggggg !>< aaaaa !>< fffff !>< ggggg
True aaaaa True aaaaa True aaaaa
True bbbbb True bbbbb False fffff
True ccccc False ggggg False ggggg
False False True True False False
nxor() nxor(eeeee fffff ggggg) nxor() nxor(eeeee fffff ccccc) nxor() nxor(eeeee bbbbb ccccc)
.nxor .nxor eeeee fffff ggggg .nxor .nxor eeeee fffff ccccc .nxor .nxor eeeee bbbbb ccccc
!>< eeeee !>< fffff !>< ggggg !>< eeeee !>< fffff !>< ccccc !>< eeeee !>< bbbbb !>< ccccc
False eeeee False eeeee False eeeee
False fffff False fffff True bbbbb
False ggggg True ccccc True ccccc
False False False False True True
Logicon NOT
aaaaa = bbbbb = ccccc = True
eeeee = fffff = ggggg = False
not() not(aaaaa bbbbb ccccc) not() not(aaaaa bbbbb ggggg) not() not(aaaaa fffff ggggg)
.not .not aaaaa bbbbb ccccc .not .not aaaaa bbbbb ggggg .not .not aaaaa fffff ggggg
! !aaaaa !bbbbb !ccccc ! !aaaaa !bbbbb !ggggg ! !aaaaa !fffff !ggggg
True False aaaaa False True False aaaaa False True False aaaaa False
True False bbbbb False True False bbbbb False False True fffff True
True False ccccc False False True ggggg True False True ggggg True
not() not(eeeee fffff ggggg) not() not(eeeee fffff ccccc) not() not(eeeee bbbbb ccccc)
.not .not eeeee fffff ggggg .not .not eeeee fffff ccccc .not .not eeeee bbbbb ccccc
! !eeeee !fffff !ggggg ! !eeeee !fffff !ccccc ! !eeeee !bbbbb !ccccc
False True eeeee True False True eeeee True False True eeeee True
False True fffff True False True fffff True True False bbbbb False
False True ggggg True True False ccccc False True False ccccc False