Skip to main content

Table 2 Eight logic relationships among three genes a, b, and c [11]

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)

  1. Among other possible logic relationships involving three genes, the above eight are most likely to be present in real cellular networks. iff stands for if and only if.