Property P000114

Also known as:

Id If Then
T190
T191 ¬
T551 ∧ ¬