algebra booleana

[jollothesmog]

dato

F= \( \displaystyle {\overline{{{\left({a}{\overline{{{b}}}}{d}+{\overline{{{a}{c}{\overline{{{d}}}}}}}\right)}{E}{X}{O}{R}{\left({b}{E}{X}{O}{R}{\overline{{{d}}}}{E}{X}{O}{R}{c}\right)}}}} \)

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)