https://www.sandpile.org/x86/ternlog.htm bg image(./../pics/backwide.gif) ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ x86 architecture ternary logic --------------------------------------------------------------------- +--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ | | | VPTERNLOG imm operand | | | |--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------| | | | | | | | | | | | | | | | | | | | | x0h | x1h | x2h | x3h | x4h | x5h | x6h | x7h | x8h | x9h | xAh | xBh | xCh | xDh | xEh | xFh | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 0xh | FALSE | norABC | andCnorAB | norAB | andBnorAC | norAC | norAxnorBC | norAandBC | norAnandBC | norAxorBC | andC!A | C?!A:norAB | andB!A | B?!A:norAC | norAnorBC | !A | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 1xh | andAnorBC | norBC | norBxnorAC | norBandAC | norCxnorAB | norCandAB | A?norBC:xorBC | minorABC | A?norBC:andBC | A?norBC:xnorBC | A?norBC:C | C?!A:!B | A?norBC:B | B?!A:!C | xorAorBC | nandAorBC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 2xh | norBnandAC | norBxorAC | andC!B | C?!B:norAB | B?norAC:andAC | B?norAC:xnorAC | B?norAC:C | C?!B:!A | andCxorAB | C?xorAB:norAB | andCnandAB | C?nandAB:norAB | B?!A:andAC | B?!A:xnorAC | B?!A:C | C?nandAB:!A | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 3xh | andA!B | A?!B:norBC | norBnorAC | !B | B?norAC:A | A?!B:!C | xorBorAC | nandBorAC | A?!B:andBC | A?!B:xnorBC | A?!B:C | C?nandAB:!B | xorAB | C?xorAB:nandAB | A?!B:orBC | nandAB | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 4xh | norCnandAB | norCxorAB | C?norAB:andAB | C?norAB:xnorAB | andB!C | B?!C:norAC | C?norAB:B | B?!C:!A | andBxorAC | B?xorAC:norAC | C?!A:andAB | B?xorAC:!A | andBnandAC | B?nandAC:norAC | C?!A:B | B?nandAC:!A | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 5xh | andA!C | A?!C:norBC | C?norAB:A | A?!C:!B | norCnorAB | !C | xorCorAB | nandCorAB | A?!C:andBC | A?!C:xnorBC | xorAC | B?xorAC:nandAC | A?!C:B | B?nandAC:!C | A?!C:orBC | nandAC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | C? | | B? | | | | 6xh | andAxorBC | A?xorBC:norBC | C?!B:andAB | A?xorBC:!B | B?!C:andAC | A?xorBC:!C | xorBC | A?xorBC:nandBC | A?xorBC:andBC | xnorABC | xorCandAB | nandAB:xnorAB | xorBandAC | nandAC:xnorAC | B?nandAC:C | nandAxnorBC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | A? | | | | | | | | 7xh | andAnandBC | A?nandBC:norBC | C?!B:A | A?nandBC:!B | B?!C:A | A?nandBC:!C | B?!C:orAC | nandBC | xorAandBC | nandBC:xnorBC | A?nandBC:C | nandBxnorAC | A?nandBC:B | nandCxnorAB | A?nandBC:orBC | nandABC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | 8xh | andABC | A?andBC:norBC | andCxnorAB | A?andBC:!B | andBxnorAC | A?andBC:!C | A?andBC:xorBC | xnorAandBC | andBC | B?C:norAC | A?andBC:C | B?C:!A | A?andBC:B | C?B:!A | A?andBC:orBC | nandAnandBC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | A? | | | | | | | | | | 9xh | andAxnorBC | B?andAC:!C | B?andAC:xorAC | xnorBandAC | C?andAB:xorAB | xnorCandAB | xorABC | xnorBC:nandBC | A?xnorBC:andBC | xnorBC | A?xnorBC:C | B?C:nandAC | A?xnorBC:B | C?B:nandAB | A?xnorBC:orBC | nandAxorBC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Axh | andAC | A?C:norBC | B?andAC:C | A?C:!B | B?xnorAC:andAC | xnorAC | A?C:xorBC | A?C:nandBC | andCorAB | xnorCorAB | C | orCnorAB | A?C:B | C?orAB:!A | A?C:orBC | orC!A | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Bxh | B?andAC:A | C?A:!B | B?andAC:orAC | nandBnandAC | B?xnorAC:A | C?A:nandAB | B?xnorAC:orAC | nandBxorAC | B?C:A | C?orAB:!B | B?C:orAC | orC!B | C?orAB:xorAB | C?orAB:nandAB | orCxorAB | orCnandAB | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Cxh | andAB | A?B:norBC | C?xnorAB:andAB | xnorAB | C?andAB:B | A?B:!C | A?B:xorBC | A?B:nandBC | andBorAC | xnorBorAC | A?B:C | B?orAC:!A | B | orBnorAC | A?B:orBC | orB!A | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Dxh | C?andAB:A | B?A:!C | B?A:xorAC | B?A:nandAC | C?andAB:orAB | nandCnandAB | C?xnorAB:orAB | nandCxorAB | C?B:A | B?orAC:!C | B?orAC:xorAC | B?orAC:nandAC | C?B:orAB | orB!C | orBxorAC | orBnandAC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Exh | andAorBC | xnorAorBC | B?A:C | A?orBC:!B | C?A:B | A?orBC:!C | A?orBC:xorBC | A?orBC:nandBC | majorABC | A?orBC:xnorBC | orCandAB | orCxnorAB | orBandAC | orBxnorAC | orBC | nandAnorBC | | | | | | | | | | | | | | | | | | | |------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------+----------------| | | | | | | | | | | | | | | | | | | | Fxh | A | orAnorBC | B?A:orAC | orA!B | C?A:orAB | orA!C | orAxorBC | orAnandBC | orAandBC | orAxnorBC | orAC | nandBnorAC | orAB | nandCnorAB | orABC | TRUE | | | | | | | | | | | | | | | | | | | +--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+ --------------------------------------------------------------------- main page