Help
| Logical connectives: | Disjunction: + | Implication: > | Conjunction: . | Negation: ~ | Equivalence: = | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Values of variables from the Drill exercises: | P, Q, R are true. | X, Y, Z are false. | ? is unknowen. |