or

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