Id If Then
145 ( ∧ ∧¬ )
208 ( ∧ ) ¬
209 ( ∧ )
306 ( ∧¬ )
308 ( ∧ ∧ ) ¬
314 ¬
319 ( ∧¬ ∧ )