Trinary index

A trinary index is a way of indexing lists of theorems by their properties. It works as follows:

Theorem	$A$	$B$	$C$	$\longrightarrow$	$X$	$Y$	$Z$
Theorem fff-mmt	F	F	F	$\iff$	M	M	T
Theorem ffm-ttf	F	F	M	$\implies$	T	T	F
Theorem ttf-tmf	T	T	F	$\implies$	T	M	F
Theorem ttt-tmf	T	T	T	$\implies$	T	M	F

Notice the way the keys are sorted.

Editors notes

• The key values are empty-false-maybe-true in that order