or

Id If Then
138 ¬
139
391 ( ¬ ∧¬ ) ¬