La tabla del if (resumida) sería así:
φ₁ φ₂ φ₃ (if φ₁ then φ₁ else φ₂)
————————————————————————————————————————————————
0 x v v
1 v x v
Donde v y x representan cualquier valor en {0, 1}.