how express the statements with logic symbols and connectives

Question

1.00/5 (1 vote)

See more:

i want to convert this statements to logic symbol like :
(a->b)^(~b) but i can't,please help me

a) if i pass this course and make an A then
i pass this course or i make an A
b) if i pass this course then i make an A
and
i pass this course and i do not make an A

Posted 5-Apr-14 2:53am

alireza_raf

Add a Solution

Comments

Richard MacCutchan 5-Apr-14 9:26am

Your question is not clear: what is it that you are trying to convert, and what results are you expecting? Also, what programming language are you using?

1 solution

Add a Solution

Add your solution here

Treat my content as plain text, not as HTML

Preview 0

…

Existing Members

Sign in to your account

...or Join us

Download, Vote, Comment, Publish.

Your Email
Password
Forgot your password?

Your Email
This email is in use. Do you need your password?
Optional Password

I have read and agree to the Terms of Service and Privacy Policy
Please subscribe me to the CodeProject newsletters

When answering a question please:

Read the question carefully.
Understand that English isn't everyone's first language so be lenient of bad spelling and grammar.
If a question is poorly phrased then either ask for clarification, ignore it, or edit the question and fix the problem. Insults are not welcome.
Don't tell someone to read the manual. Chances are they have and don't get it. Provide an answer or move on to the next question.

Let's work to help developers, not make them feel stupid.

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Peter Leow · Answer 1 · 2014-04-05T04:11:00

Solution 1

let
P: pass the course
A: obtain grade a

a)     P ^ A => P V A
b)    (P => A) ^ (P ^ ~A)

Propositional Logic[^]

Posted 5-Apr-14 4:11am

Peter Leow

Updated 5-Apr-14 4:27am

v2