Property P000036
Id | If | Then |
---|---|---|
T40 | ||
T52 | ∧ | ¬ |
T78 | ||
T79 | ||
T95 | ∧ | |
T97 | ∧ | |
T131 | ∧ | |
T233 | ∧ | |
T239 | ∧ ∧ ∧ | |
T275 | ∧ ∧ | |
T308 | ∧ ∧ | ¬ |
T309 | ∧ | |
T400 | ∧ | |
T429 | ∧ ¬ ∧ ¬ | |
T433 | ∧ ¬ | |
T443 | ||
T445 | ∧ ∧ ∧ ¬ | |
T452 | ||
T468 | ∧ | |
T480 | ∧ ∧ | |
T483 | ||
T484 | ||
T486 | ∧ ∧ ∧ | |
T522 | ∧ | |
T536 | ∧ | |
T556 | ∧ ∧ ¬ | |
T578 | ∧ | |
T588 | ∧ ∧ | |
T611 | ∧ ∧ ¬ | |
T684 | ∧ ∧ | |
T692 | ∧ | |
T698 | ∧ ∧ | |
T701 | ∧ ∧ ¬ | |
T732 | ∧ ∧ | |
T755 | ∧ ∧ |