Convert statement into conjunctive normal form , Computer Engineering

Consider the following statements about the types of fruit people like.

If people like apples, then they do not like oranges. If people do not like apples, then they like oranges and grapes. If people do not like oranges or they like grapes, then they like pears. If people like pears, then they like bananas.

a. Express the above statements in propositional logic. Clearly define the meaning of your propositional symbols.

b. Convert your statements from (a) into conjunctive normal form (CNF). Number the clauses in your knowledge base (KB) starting with number 1.

c. Using proof by refutation and resolution, try to prove that people like bananas using your KB from (b). For each new clause in your proof, clearly indicate the previous clauses used. If "people like bananas" cannot be proven, then clearly explain or demonstrate why.

d. Using proof by refutation and resolution, try to prove that people like apples using your KB from (b). For each new clause in your proof, clearly indicate the previous clauses used. If "people like apples" cannot be proven, then clearly explain or demonstrate why.

 

Posted Date: 4/1/2013 6:50:33 AM | Location : United States







Related Discussions:- Convert statement into conjunctive normal form , Assignment Help, Ask Question on Convert statement into conjunctive normal form , Get Answer, Expert's Help, Convert statement into conjunctive normal form Discussions

Write discussion on Convert statement into conjunctive normal form
Your posts are moderated
Related Questions
Describe the properties of Attributesand operations Attributes are named slots for data values that belong to the class. Previously we have studied in MCS-024, different o

Decision Trees: Visualize you only ever do four things at the weekend such as go shopping or watch a movie or play tennis and just stay in. In such case what you do depends on

What is meant by concurrent execution of database transactions in a multi user system

Network throughput It is an indicative measure of the point carrying capacity of a network. It is distinct as the total number of messages the network can transmit per unit tim

State the term- Use a define function This is almost exactly the same approach as #define and -D compiler arg that C programs use. In your  Verilog  code,  use  a  'define  to

In cyclic redundancy checking CRC is the? Checking CRC, in cyclic redundancy is the remainder. Normal 0 false false false EN-IN X-NONE X-NONE

Network Properties There are many properties are associated with interconnection networks:- 1) Topology: It signify how the nodes a network are organised. A variety of top

What do you mean by Electronic Funds Transfer? Electronic Funds Transfer: It’s an electronic payment method which transfers the money value through one bank account to o

Accessing the Operands: operands are usually place in one of two places: -registers (32 int, 32 fp) -memory (232locations) registers are -simple to spe

Q. How is an instruction represented? Instruction is signified as a sequence of bits. A layout of an instruction is called as instruction format. Instruction formats are princi