Given an arbitrary Boolean expression, how hard is it (in terms of complexity theory) to convert it to DNF? I don't know the answer to this question (but it's probably going to bug me until I convince myself it really is hard).
--- [EMAIL PROTECTED] wrote: > since the conditions A, B, C, etc can have a NOT in the relation, > this form basically reduces to a form called disjunctive normal form. > and all boolean expressions can be phrased in this form. > The tricky thing of course, is taking the expression you want, > and doing the reduction to DNF. > > David > > > > --- Greg Kreis <[EMAIL PROTECTED]> wrote: > > > > > Actually, only & works at the IF: or the OR: prompt. > > > The strategy of FM > > > is that you AND terms on the prompts and let each of > > > these prompted > > > specifications be ORed. So... > > > > > > IF: A&B > > > OR: A&C > > > > > > > > > > > > Cameron Schlehuber wrote: > > > > > > >You've defined "A" and "B", at the IF: prompt > > > simply enter A&B or A!B, etc. > > > > > > > >-----Original Message----- > > > >From: [EMAIL PROTECTED] > > > > > >[mailto:[EMAIL PROTECTED] > > > On Behalf Of Kevin > > > >Toppenberg > > > >Sent: Thursday, January 20, 2005 8:31 AM > > > >To: hardhats-members@lists.sourceforge.net > > > >Subject: Re: [Hardhats-members] How to make custom > > > reports with Fileman? > > > > > > > >Jim (and everyone else, too), replies below: > > > > > > > >--- Jim Self <[EMAIL PROTECTED]> wrote: > > > > > > > > > > > > > > > >>Kevin wrote: > > > >> > > > >> > > > >>>Hey All, > > > >>> > > > >>>It seems to me that Fileman is missing a report > > > >>>generator. Perhaps I am just overlooking it. > > > >>> > > > >>> > > > >>You overlooked it. > > > >>The Search and Print options from the > > > >>roll-and-scroll interface give you quite powerful > > > >>reporting capabilities. > > > >> > > > >> > > > > > > > >Talk about "if it had been a snake it would have > > > bit > > > >me" Ha. > > > > > > > >I had completely overlooked the "Search" Function. > > > >This looks similar to what I want. But I still > > > can't > > > >figure out how it works. I'm clueless as to what > > > it > > > >wants at the "IF:" prompt. (Why can't Fileman be > > > less > > > >terse?) Here's a screen log of my attempts > > > > > > > > > > > >OUTPUT FROM WHAT FILE: PATIENT// > > > > > > > > -A- SEARCH FOR PATIENT FIELD: .01 NAME > > > > -A- CONDITION: ? > > > > Answer with CONDITION NUMBER, or NAME > > > > Choose from: > > > > 1 NULL > > > > 2 CONTAINS > > > > 3 MATCHES > > > > 4 LESS THAN > > > > 5 EQUALS > > > > 6 GREATER THAN > > > > > > > >YOU CAN NEGATE ANY OF THESE CONDITIONS BY PRECEDING > > > >THEM WITH "'" OR "-" > > > >SO THAT "'NULL'" MEANS "NOT NULL" > > > > > > > > -A- CONDITION: 2 CONTAINS > > > > -A- CONTAINS: wigle > > > > > > > > -B- SEARCH FOR PATIENT FIELD: sex > > > > -B- CONDITION: cONTAINS > > > > -B- CONTAINS: male > > > > > > > > ENTER A VALUE WHICH 'SEX' > > > > MUST CONTAIN, IN ORDER FOR TRUTH CONDITION > > > -B- > > > >TO BE TRUE > > > > > > > >Use EXTERNAL VALUE (from list on the right) > > > > Enter 'M' for MALE, or 'F' for FEMALE. > > > > Choose from: > > > > M MALE > > > > F FEMALE > > > > > > > > > > > > -B- SEARCH FOR PATIENT FIELD: m > > > > 1 MARITAL STATUS > > > > 2 MEDICAID ELIGIBILE? ELIGIBLE FOR > > > MEDICAID? > > > > 3 MEDICAID NUMBER > > > > 4 METHOD OF DETERMINATION > > > > 5 MILT RET DUE TO DISABILITY? DISABILITY > > > RET. > > > >FROM MILITARY? > > > >Press <RETURN> to see more, '^' to exit this list, > > > OR > > > >CHOOSE 1-5: ^?? > > > > > > > > > > > > > > > > -B- SEARCH FOR PATIENT FIELD: sex > > > > -B- CONDITION: cONTAINS > > > > -B- CONTAINS: M > > > > [ Will match 'MALE', and 'FEMALE' ] > > > > > > > > -C- SEARCH FOR PATIENT FIELD: > > > > > > > >IF: ? <?>?? > > > >IF: <TYPE '^' TO EXIT>?? > > > >IF: <TYPE '^' TO EXIT>?? > > > >IF: <TYPE '^' TO EXIT>?? > > > >IF: ?? <?>?? > > > >IF: 1 <1>?? > > > >IF: ^ > > > > > > > >Press RETURN to continue... > > > > > > > > > > > > > > > > > > > > > > > >>If you augment Fileman with M2Web, then you will > > > >>have additional capabilities for doing > > > >>database queries from a web browser and a great > > > many > > > >>additional options for formatting the > > > >>results on-the-fly, including switching the output > > > >>type from html to xml or xls. > > > >> > > > >> > > > > > > > >Again, I really want to sit down with your M2Web > > > >technology someday and implement it. I just can't > > > get > > > >diverted right now. Too much on my plate. It > > > looks > > > >extremely powerful. I hope that it gets put > > > formally > > > >into Fileman, as was the object of a recent Friday > > > >conference call. > > > > > > > > > > > > > > > >>>A database should be able to easily allow the > > > user > > > >>> > > > >>> > > > >>to > > > >> > > > >> > > > >>>say: > > > >>>--Give me all reports > > > >>>--Of the following date > > > >>>--With field .12345=Value > > > >>> > > > >>>When I have written before about during searches > > > on > > > >>>multiple fields, I have been told to use FIND^DIC > > > >>> > > > >>> > > > >>and > > > >> > > > >> > > > >>>create custom screening code that checks for the > > > >>>secondary and tertiary factors. > > > >>> > > > >>> > > > >>Why was that? Was is because you were trying to do > > > >>the searches from a non roll-and-scroll > > > >>interface or because of some perceived inadequacy > > > of > > > >>the Search module? > > > >> > > > >> > > > > > > > >Yes, I had been doing it programatically. And, as > > > >above, I had overlooked the Search function > > > > > > > > > > > > > > > >>>But does use of fileman require programming > > > skills? > > > >>> > > > >>> > > > >>Not really, but advanced users would benefit from > > > >>knowing something about MUMPS functions > > > >>and operators for specifying calculations on data > > > >>values - and Fileman conventions for > > > > > === message truncated === > > > > > > > > __________________________________ > > Do you Yahoo!? > > Read only the mail you want - Yahoo! Mail SpamGuard. > > http://promotions.yahoo.com/new_mail > > > > > > ------------------------------------------------------- > > This SF.Net email is sponsored by: IntelliVIEW -- Interactive > Reporting > > Tool for open source databases. Create drag-&-drop reports. Save > time > > by over 75%! Publish reports on the web. Export to DOC, XLS, RTF, > etc. > > Download a FREE copy at http://www.intelliview.com/go/osdn_nl > > _______________________________________________ > > Hardhats-members mailing list > > Hardhats-members@lists.sourceforge.net > > https://lists.sourceforge.net/lists/listinfo/hardhats-members > > > > > > ------------------------------------------------------- > This SF.Net email is sponsored by: IntelliVIEW -- Interactive > Reporting > Tool for open source databases. Create drag-&-drop reports. Save time > by over 75%! Publish reports on the web. Export to DOC, XLS, RTF, > etc. > Download a FREE copy at http://www.intelliview.com/go/osdn_nl > _______________________________________________ > Hardhats-members mailing list > Hardhats-members@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hardhats-members > ===== A practical man is a man who practices the errors of his forefathers. --Benjamin Disraeli ==== Greg Woodhouse [EMAIL PROTECTED] [EMAIL PROTECTED] ------------------------------------------------------- This SF.Net email is sponsored by: IntelliVIEW -- Interactive Reporting Tool for open source databases. Create drag-&-drop reports. Save time by over 75%! Publish reports on the web. Export to DOC, XLS, RTF, etc. Download a FREE copy at http://www.intelliview.com/go/osdn_nl _______________________________________________ Hardhats-members mailing list Hardhats-members@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hardhats-members
