From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9cccf6ef6149fdaa
X-Google-Attributes: gid103376,public
From: Mark A Biggar <mark.a.biggar@lmco.com>
Subject: Re: Operator precedence--was Re: Operators -> unit analysis
Date: 2000/01/14
Message-ID: <387F5D75.5F4E9C97@lmco.com>#1/1
X-Deja-AN: 572642919
Content-Transfer-Encoding: 7bit
References: <38620350.48F8FC08@gecm.com> <83u8l0$5i5$1@nnrp1.deja.com>
 <84rd2f$snm$1@nntp3.atl.mindspring.net> <t7aemmtz3b.fsf@calumny.jyacc.com>
 <84thof$9r3$1@nntp4.atl.mindspring.net> <387383D0.4EA02E95@earthlink.net>
 <850jiq$mad$1@nnrp1.deja.com> <3874D0BE.82F04763@Raytheon.com>
 <853lkg$tgj$1@nnrp1.deja.com> <wccln626ily.fsf@world.std.com>
 <38764aac_2@news1.prserv.net> <387A0865.A50A980F@lmco.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
Organization: Lockheed Martin M&DS Western Region
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-01-14T00:00:00+00:00
List-Id: <comp.lang.ada>

"Howard W. LUDWIG" wrote:
> 
> I have yet to see a logician write an expression with both "and" and "or"
> using infix notation without writing parentheses to indicate explicitly
> which is to be done first. 

Then your blind.  I's say that at least a plurality of logical formula seen
in published papers are in disjunctive normal form which assumes that "and"
(expressed as concatination) takes precedence over "or" (expressed as either
"v" or "+"

--
Mark Biggar
mark.a.biggar@lmco.com