Conjunção lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
corrigir mais |
+ref |
||
Linha 2:
A conjunção está intimamente relacionada com a operação de [[interseção]] de conjuntos. É representada tecnicamente pelo símbolo '''∧''', em [[programação]] por '''&''' ou '''&&'''.
Pode ainda ser representado pelo símbolo do produto.<ref>[https://en.wikiversity.org/wiki/Primary_mathematics:Boolean_logic Primary mathematics:Boolean logic]</ref>
== Definição ==
Linha 62:
A conjunção lógica tem diversas propriedades. Destacam-se:
* <math>a \and b \equiv b \and a \quad\ :</math> ([[comutatividade
* <math>\left( a \and b \right) \and c \equiv a \and \left( b \and c \right)\quad\ :</math> ([[associatividade
* <math>a \and b \equiv \neg \left( \neg a \or \neg b \right)\quad\ :</math> ([[Teoremas de De Morgan|leis de De Morgan]])
* <math>a \and \neg a \equiv 0\quad\ :</math> (
* <math>a \and 1 \equiv a\quad\ :</math> (a verdade é o elemento neutro da conjunção)
* <math>a \and 0 \equiv 0\quad\ :</math> (a falsidade é o elemento absorvente da conjunção)
* <math>a \and \left( b \or c \right) \equiv \left( a \and b \right) \or \left( a \and c \right)\quad\ :</math> ([[distributividade
== Ver também ==
| |||