Changes

'''Logical conjunction''' is an operation on two logical values, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both of its operands are true.

'''Logical conjunction''' is an operation on two logical values, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both of its operands are true.

The [[truth table]] of <math>p ~\operatorname{AND}~ q</math> (also written as <math>p \land q\!</math> or <math>p \cdot q\!</math>) is as follows:

The [[truth table]] of <math>p ~\operatorname{AND}~ q,</math> also written <math>p \land q\!</math> or <math>p \cdot q,\!</math> appears below:

<br>

<br>