Какие существуют типы логических связок в современных компьютерных языках?

Некоторые типы логических связок, которые используются в современных компьютерных языках:

• Отрицание (not). en.wikipedia.org Если высказывание A истинно, то «не А» ложно, и наоборот. in.lit.msu.ru
• Соединение (и). en.wikipedia.org Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно. in.lit.msu.ru
• Дизъюнкция (или). en.wikipedia.org in.lit.msu.ru Высказывание «A или B» истинно тогда, когда истинно А или B, или оба вместе. in.lit.msu.ru
• Импликация (если…тогда). en.wikipedia.org

В разных языках программирования логические операции могут обозначаться различными символами, например: в C++ — ! (отрицание), && (конъюнкция), || (дизъюнкция) и другие. ru.wikipedia.org ru.ruwiki.ru