Logica e tabelle di verità¶

Scrivi un'espressione booleana: il tool costruisce la tabella di verità con una colonna per ogni operazione, nell'ordine di precedenza della lezione 06 (parentesi, NOT, AND, OR). Con il campo Confronta con verifichi se due espressioni sono equivalenti, ad esempio le leggi di De Morgan.

Come scrivere le espressioni¶

Operatore	Puoi scrivere
AND	`AND`, `and`, `∧`, `•`, `*`, oppure le variabili attaccate: `ab`
OR	`OR`, `or`, `∨`, `+`
NOT	`NOT`, `not`, `¬`, `!`, oppure l'apice dopo la variabile: `a'`
XOR, NAND, NOR, XNOR	`XOR` (o `⊕`), `NAND`, `NOR`, `XNOR`

Le variabili sono lettere singole (a, b, c, …), fino a 6. Puoi usare anche le costanti 0 e 1.

Prova con

(a + b) c: la funzione "superare l'esame" della lezione
NOT (a AND b) confrontata con NOT a OR NOT b: legge di De Morgan
a + a b confrontata con a: legge dell'assorbimento

Operatori bit a bit¶

Gli stessi operatori applicati a due parole di bit, posizione per posizione.