Em Lógica, a Tabela Verdade tem os 5 símbolos seguintes ~, ⌃, ⌵, → e ↔. Então, a operação lógica de cada símbolo é, respectivamente:
afirmação, conjunção, disjunção, condicional e preposição.
negação, disjunção, conjunção, condicional e afirmação
afirmação, conjunção, preposição, condicional e bicondicional.
negação, conjunção, disjunção, condicional e bicondicional.
conjunção, negação, disjunção, afirmação e condicional.