La conjunción lógica, también conocida como producto lógico, es un conector lógico que se utiliza en razonamiento formal para unir dos proposiciones y cuyo valor de verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. En lenguajes formales, el conectivo "y" se utiliza en español para simbolizar una conjunción lógica. En álgebra booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio (·). La conjunción de dos proposiciones simples p y q es verdadera si ambas proposiciones son verdaderas. La representación de la conjunción de proposiciones se realiza con una compuerta AND cuyo símbolo es · . La tabla de verdad de la conjunción de proposiciones tendrá 2n renglones, en cada uno de los cuales están todas las posibles y diferentes combinaciones de valor de verdad de las proposiciones simples.
No hay comentarios.:
Publicar un comentario