De viktigste sannhetsfunksjonene og deres logiske konnektiver er: negasjon (konnektiv: , symbol: «¬»), inklusiv disjunksjon (, «»), konjuksjon (, «»).