or

Id If Then
345
346 ¬
347
348 ( ∧¬ )
349 ( ∧¬ )