Algebra booleana

[jollothesmog]

dato

F= $\bar{(a bar{b}d+bar{a c bar{d}}) EXOR (b EXOR bar{d}EXOR c)}$

scrivere la tabella di verità.

prima credo e spero che si debba semplificare. ma non trovo teoremi con gli exor
come procedo?

[giozh]

trucco, prima di fare tutto il blocco, scriviti una tabella di verità di ogni "sottoequazione", e poi combini i risultati tra loro. ovviamente segui la priorità delle parentesi. nel senso. prima fai la tabella di verità di (a not b d) poi fai quella di a c not d. poi neghi tutto il risltato di quest'ultima, etc etc, caput?

[itpareid]

A xor B=(A and (not B)) or ((not A) and B)