(A⇒B)⇒¬(B⇒A)
(A⊕B)∨(A⊕C)
(A⇒B)∨(B⇔C)
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
(A⇒B)∧(A↓C)
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
0↓1|a|b|c|1↓0