From: Phylogenetically informed logic relationships improve detection of biological network organization
Type | Description | logic symbols |
---|---|---|
1 | c is present in a genome iff a and b are both present. | c ↔ a ∧ b |
2 | c is present in a genome iff a is absent or b is absent. | c ↔ ~(a ∧ b) |
3 | c is present in a genome iff a is present or b is present. | c ↔ a ∨ b |
4 | c is present in a genome iff a is absent and b is absent. | c ↔ ~(a ∨ b) |
5 | c is present in a genome iff a is present and b is absent. | c ↔ a ∧~b |
6 | c is present in a genome iff a is absent or b is present. | c ↔ ~a ∨ b |
7 | c is present in a genome iff one of either a or b is present. | c ↔ a ⊕ b |
8 | c is present in a genome iff a and b are both present or both absent. | c ↔ ~(a ⊕ b) |