Conversioni di generici connettivi logici in espressioni booleane
A implica B = not A or BA nand B = not(A and B)A nor B = not(A or B)A xor B = not A and B or A and not BA xnor B = not(A xor B) = not(not A and B or A and not B)
A implica B = not A or BA nand B = not(A and B)A nor B = not(A or B)A xor B = not A and B or A and not BA xnor B = not(A xor B) = not(not A and B or A and not B)