Conjunction (logic)
A conjunction ( Latin coniungere ' to connect'; common language: and connection ) is a specific connection between two statements or propositional functions in logic . The conjunction of two statements A and B is usually read as "A and B". In classical logic , the combination of two statements "A and B" is true if both statement components, "A" and "B", are each true.
Can be meant by the word conjunction
 the linked statement as a whole (the sentence "A and B")
 the link mark ( connective )
 the linking word "and"
 in the case of a truthfunctional conjunction, the truth function “et”, with which the truth value of the linked statement “A and B” can be determined from the truth values of its subclauses (A, B)
The conjunction in classical, twovalued logic
In the classical logic is the conjunction of two statements and only true if both and are true, and if and wrong if at least one of the two statements , is incorrect. This relationship is clearly shown in the truth table of the corresponding truth value function , the et function :
true  true  true 
true  not correct  not correct 
not correct  true  not correct 
not correct  not correct  not correct 
Common spellings for the conjunction are , "A & B", "A ▪ B", " " (Peano) and " ". In Polish notation , the conjunction is written as "Kab".
A conjunction itself is a Boolean expression . In digital technology , conjunctively linked variables are also called product term .
The following important laws apply to conjunction:
In calculi of natural inference , the introduction and elimination of the conjunction are used as rules of inference for the conjunction. With the introduction of the conjunction, two statements A, B can be used to infer their conjunction ; With the elimination of the conjuncture , each of the conjuncts or can be inferred from the conjunction .
The conjunction in multivalued logics
When setting up a multivalued conjunction, one generally tries to retain as many of the properties of the classical conjunction as possible, especially associativity and commutativity. A multivalued conjunction can thus be defined axiomatically as follows:
is a conjunction if:
Other useful but not necessary properties are continuity and idempotence .
For example, the following conjunctions were set up in threevalued logics :
Conjunction
in the threevalued logic Ł3
by Jan Łukasiewicz (1920)
1  1  1 
1  0.5  0.5 
1  0  0 
0.5  1  0.5 
0.5  0.5  0.5 
0.5  0  0 
0  1  0 
0  0.5  0 
0  0  0 
Conjunction
in the threevalued logic B3
by Dimitri Analtoljewitsch Bočvar (1938)
1  1  1 
1  0.5  0.5 
1  0  0 
0.5  1  0.5 
0.5  0.5  0.5 
0.5  0  0.5 
0  1  0 
0  0.5  0.5 
0  0  0 
The logical conjunction and the word "and"
The natural language word “and” is not identical with the conjunction in the sense of logic. On the one hand, the word “and” is not always used in the sense of the logical conjunction. Examples:

“And then”
“I ate and (then) went home.” Here the word “and” is used to represent a sequence in time. 
“And therefore”
“The patient took the drug and got (therefore) well.” Here a causal relationship is expressed.
On the other hand, the conjunction can also be expressed through other linguistic means . Example:
 "but"
 "It's spring and it's raining."
 "It's spring, but it's raining."
 From a propositional point of view, these two sentences are equivalent.
See also

AND gate

Junction
 Logical equivalence → ( XNOR gate )
 Subjunction → ( implication )
 Negation → ( nongate )
 Contravalence → ( exclusiveorgate )
 Disjunction → ( OR gate )

Junction