want a quiz?

[juan_gandhi]

My students, well, kind of half-failed, unfortunately.

1. What is the domain of the function ln(x)?


2.Give answers to the following questions (yes/no) with short explanations
- Is the set {(0,0)} a binary relation on ℕ?
- Define an operation on sets like this: A Op B = {{A}, {B}}. Do we have a commutative monoid?
- Take the set {1,2,7} and define an operation like this: x Op y = x. Is it a monoid?


3. Is implication operation, P→Q, associative? Commutative? Does it have a neutral element?


4. Simplify the following WFF: C ∨ (A→B) ∨ (B→A) ∨ C


5. Convert the following WFF to DNF: (A∨B)∧(C∨¬B)∧(¬A∨C)

Comments

[sleepy-drago.livejournal.com]

5 там если кратко и не нормальной формой c*(a+b) так что тоже мимо. другое дело что надо было мне это в последний раз когда я был студентом =)

[sassa-nf.livejournal.com]

5 не минимальное решение, но в Булевой логике эквивалентно c*(a+b)