or

Id If Then
27 ( ∧ )
262 ( ∧¬ ) ¬
281
282
283 ( ∧ )
286
302 ( ∧ ∧ )