Конъюнкция может означать:
Коммутативность, переместительный закон — свойство бинарной операции «
для любых элементов 
.Предика́т — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. В лингвистике субъекту соответствует подлежащее, а предикату — сказуемое.
Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Конъю́нкция — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».
Булевой алгеброй называется непустое множество A с двумя бинарными операциями 
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Законы де Мо́ргана — логические правила, связывающие пары логических операций при помощи логического отрицания. Названы в честь шотландского математика Огастеса де Моргана. В краткой форме звучат так:
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Классическая логика — логика, системы которой строятся на принципах двузначности (бивалентности) значений ее выражений и формул, взаимозаменяемости (экзистенциальности) выражений и формул, имеющих одинаковые значения, а также допустимости интерпретации нелогических символов, состоящей из требований непустоты области интерпретации и принятия термами значений, только элементов области интерпретации.
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Многозначная логика — это логика высказываний, в которой существует более двух истинностных значений логического выражения. Традиционно, в классической логике Аристотеля, мы имеем дело только с двумя возможными значениями — «истиной» или «ложью». Однако данная двухзначная логика может быть дополнена до n — значной с n > 2. Наиболее популярными в литературе являются трехзначная логика, конечнозначная и бесконечнозначная логики.
Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 году.
Бу́лева фу́нкция от 
FLOSS, или FOSS — free/libre and open-source software — категория программного обеспечения, которая включает в себя как свободное, так и открытое программное обеспечение. В английском языке слово «free» означает как «свободный», так и «бесплатный», что не одно и то же; поэтому в термин «FOSS» было включено слово «libre», чтобы подчеркнуть, что речь идёт именно о «free software», а не о «freeware».
Таблица истинности — таблица, описывающая логическую функцию.
Конъюнкти́вный одночле́н — булева формула, представляющая собой конъюнкцию литералов:
,
Логическая равнозначность или эквивале́нция — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная логическая операция обычно обозначается символом ≡ или ↔.
Соедине́ние — конфигурация небесных тел, при которой их эклиптические долготы равны. Также используется понятие соединения по прямому восхождению, а не по эклиптической долготе. Таким образом, во время соединения двух тел они относительно близки друг к другу на небесной сфере. В астрологии может использоваться термин конъюнкция.
Линейная логика — подструктурная логика, предложенная Жан-Ивом Жираром как уточнение классической и интуиционистской логики, объединяющая двойственность первой со многими конструктивными свойствами последней, введена и используется для логических рассуждений, учитывающих расход некоторого ресурса. Хотя логика также изучалась сама по себе, идеи линейной логики находят применения во множестве приложений, вычисления в которых требуют учёта ресурсов, в том числе для верификации сетевых протоколов, языки программирования, теория игр и квантовая физика, лингвистика.