commutativiteit: ja
associativiteit: ja
distributiviteit: Biconditional verdeelt niet over een binaire functie (zelfs niet zichzelf),
maar logische disjunctie (zie daar) verdeelt zich over biconditional.
idempotency: nee
monotoniciteit: nee
waarheidbehoud: ja
Als alle invoer waar is, is de uitvoer waar.
falsehood-preserving: nee
Als alle invoer onwaar is, is de uitvoer niet onwaar.
Walsh-spectrum: (2,0,0,2)
Niet-lineariteit: 0 (de functie is lineair)
[Logische disjunctie] |
