0
$\begingroup$

I'm answering a question about propositional logic formulas, and was hoping one of you guys could check over my answer.

"Either the lift doors are open or the lift is moving and lift doors are closed"

Meanings:

$p$ "open"

$q$ "moving"

$r$ "closed"

My answer :

$(p \lor ( q \land r ))$

Sorry for not using the correct symbols, but I'm sure you'll understand what they're supposed to represent :P

$\endgroup$
3
$\begingroup$

You've got the right idea, but let's nail down your propositions:

$p:$ The lift doors are open.

$q:$ The lift is moving.

$r:$ The lift doors are closed.

Then you're correct: The statement can be expressed logically as $$p \lor(q\land r)$$

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Needs a TU -> +1 $\endgroup$ – Amzoti Dec 20 '13 at 1:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.