Mister Exam
Logica matematica passo‑passo
Con la soluzione giusta diventerai il più amato del gruppo ❤️😊
⌨
- Usare la logica simbolica e l’algebra della logica
- Inserire le parentesi nell’espressione rispettando la precedenza delle operazioni
- Semplificare espressioni logiche
- Costruisce la tavola di verità per le formule inserite
- Trovare le forme normali dell’espressione logica:
- Forma normale congiuntiva (CNF), anche perfetta
- Forma normale disgiuntiva (DNF), anche perfetta
Esempi di espressioni logiche
- Con applicazione della negazione
(A⇒B)⇒¬(B⇒A)
- Somma di espressioni logiche
(A⊕B)∨(A⊕C)
- Con il simbolo "equivalente"
(A⇒B)∨(B⇔C)
- Con il simbolo "implica"
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NOR
(A⇒B)∧(A↓C)
- Con applicazione di congiunzione e disgiunzione
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- Con applicazione di NAND e NOR
0↓1|a|b|c|1↓0
Simboli supportati nelle espressioni logiche
Qui sono indicati i simboli da usare nell’inserimento della formula logica nel calcolatore
- ¬a
- – negazione
- a⇒b
- – implicazione
- a∧b
- – congiunzione
- a∨b
- – disgiunzione
- a⇔b
- – equivalenza
- a⊕b
- – somma modulo 2 ( OR esclusivo)
- a|b
- – NAND (barra di Sheffer)
- a↓b
- – NOR (freccia di Peirce)
- a⊙b
- – XNOR gate ( OR esclusivo con inversione (XNOR))
Nel calcolatore puoi semplificare espressioni che contengono le seguenti operazioni: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR