From: ·············@gmail.com
Subject: Yet another lisp problem
Date: 
Message-ID: <916c1ef5-03a1-42d7-9a00-9345f814308c@e1g2000hsh.googlegroups.com>
> Q.4. Write a code that will output a logically equivalent clause
> or clauses, given a sentence of the form M --> N, where M
> is a pure conjunction or disjunction and N is also a pure conjunction
> or disjunction. The output in CNF should be equivalent to M --> N.

There are 4 cases like the ones below:

(1) (a AND b AND c) --> (m OR n)
(2) (a AND b AND c) --> (m AND n)
(3) (a OR b OR c) --> (m OR n)
(4) (a OR b OR c) --> (m AND n)

From: Rainer Joswig
Subject: Re: Yet another lisp problem
Date: 
Message-ID: <joswig-B39EEE.15561920112007@news-europe.giganews.com>
In article 
<····································@e1g2000hsh.googlegroups.com>,
 ·············@gmail.com wrote:

> > Q.4. Write a code that will output a logically equivalent clause
> > or clauses, given a sentence of the form M --> N, where M
> > is a pure conjunction or disjunction and N is also a pure conjunction
> > or disjunction. The output in CNF should be equivalent to M --> N.
> 
> There are 4 cases like the ones below:
> 
> (1) (a AND b AND c) --> (m OR n)
> (2) (a AND b AND c) --> (m AND n)
> (3) (a OR b OR c) --> (m OR n)
> (4) (a OR b OR c) --> (m AND n)

Again homework?

-- 
http://lispm.dyndns.org/
From: ·············@gmail.com
Subject: Re: Yet another lisp problem
Date: 
Message-ID: <4a207bce-2711-445b-b09d-bec75e42fd05@d50g2000hsf.googlegroups.com>
On Nov 20, 8:56 am, Rainer Joswig <······@lisp.de> wrote:
> In article
> <····································@e1g2000hsh.googlegroups.com>,
>
>  ·············@gmail.com wrote:
> > > Q.4. Write a code that will output a logically equivalent clause
> > > or clauses, given a sentence of the form M --> N, where M
> > > is a pure conjunction or disjunction and N is also a pure conjunction
> > > or disjunction. The output in CNF should be equivalent to M --> N.
>
> > There are 4 cases like the ones below:
>
> > (1) (a AND b AND c) --> (m OR n)
> > (2) (a AND b AND c) --> (m AND n)
> > (3) (a OR b OR c) --> (m OR n)
> > (4) (a OR b OR c) --> (m AND n)
>
> Again homework?
>
> --http://lispm.dyndns.org/

Nice website by the way....