|

Question: DNA is made up of the four nucleotide bases Adenine (A), Thymine (T), Cytosine (C) and Guanine (G). Adenine and Guanine are purines. Cytosine and thymine are pyrimidines. Pyrimidines always pair with purines. -Free Course Hero Question Answer.

Question Description: DNA is made up of the four nucleotide bases Adenine (A), Thymine (T), Cytosine (C) and Guanine (G). Adenine and Guanine are purines. Cytosine and thymine are pyrimidines. Pyrimidines always pair with purines.

question

Adding the following constraint to those in the previous question (1.1) “If f A bonds with T, then T bonds with A, and similarly for all other pairs”, write a general version of the bonds-with relation, bondsWith(Base1,Base2), in predicate calculus only using standard quantifiers, connectives, the unary not (¬), equality (=) and the predicates:

● base(X)

● pyrimidine(X); purine(X)

And the constants:

● adenine, thymine, cytosine and guanine

Free Course Hero Answer

Course Hero Answer & Explanation:

Image transcription text

X Y XVY XAY (XAY) ( XVY ) AT KAY 0 O 1 O – O O on all we get output as X Y Ol P. 0/ P= ( x VY ) n = ( XAY ) O ( A ) 0 (C ) |0 (NO Bond ) O ( A ) I( T ) 1 ( Bonds with ) ON 1 ( G ) 10 ( 5 ) 1 ( Bondswith ) 1 (G ) 1 (T) / 0 Wo.Bond. Here we get if A_ bondswith T then T only bonds with A and if or bonds with C ise, G_bondswith-6 then C only bonds with G7. Here all the predicates and constraints are followed. ie. base x = purine x ( pyrimidine-x

Image transcription text

DNA is made . Adenine ( A ) up of four nucleotide. . Thymine (T ) . Cytosine ( c ) . Guanine ( 67 ) – Adenine and Guanine are Purines -7 Cytosine and thymine are Pyrimidines NOTE: "Pyrimidines always Pair with purines ". If A bonds with T then +bonds with A and Similarly for all other pairs. The Pecopositional calculus representation will be as follows. base- X = ( purine AA V pyrimidine – A) ~ – (purine- A A pyrimidine_ A ) J lets, take x as Purines wed wong – Adenine – Guanine and Y as Pyrimidinesaved ware 510- cytosine wotoubon wit Mo grott 1 – thymine 3 implies or equality operator good Ja And operator V Or operator – ) NOT operator

Similar Posts