Wolfram Cloud

Evaluate

show results

language of predicates

Slovenian

English

number of elements

7

number of statements

5

number of negated statements

5

help

A

B

C

D

E

F

G

1. White (B) ⊻ Square (F)

2. Medium (E) ∨ Square (B)

3. Large (E) ⊻ ¬White (A)

4. Small (G) ⇔ ¬Pentagon (B)

5. ¬Medium (E) ∨ Medium (G)

6. ¬(¬Medium (D) ∨ ¬Gray (F))

7. ¬(¬Gray (F) ⇔ Square (B))

8. ¬(Large (B)  Gray (C))

9. ¬(Large (E) ∨ ¬Pentagon (D))

10. ¬(Square (F) ⊻ ¬Large (B))

True

False

True

True

True

False

False

False

False

True