Property P000056

Also known as:

Id If Then
T134 ∧ ¬ ¬
T314 ¬
T315
T319 ∧ ¬