Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.python > #91421

Re: Logic problem: need better logic for desired thruth table.

Path csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed1a.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path <random832@fastmail.us>
X-Original-To python-list@python.org
Delivered-To python-list@mail.python.org
X-Spam-Status OK 0.000
X-Spam-Evidence '*H*': 1.00; '*S*': 0.00; 'operator': 0.03; 'table.': 0.07; '-1.': 0.09; 'bool': 0.09; 'implemented,': 0.09; 'implies': 0.09; 'received:internal': 0.09; 'spelling': 0.09; 'xor': 0.09; 'thu,': 0.15; 'message-id:@webmail.messagingengine.com': 0.16; 'operators,': 0.16; 'received:10.202': 0.16; 'received:10.202.2': 0.16; 'received:10.202.2.212': 0.16; 'received:66.111': 0.16; 'received:66.111.4': 0.16; 'received:messagingengine.com': 0.16; 'suggested,': 0.16; 'wrote:': 0.16; 'subject:need': 0.18; '(or': 0.21; 'logical': 0.22; 'names.': 0.22; 'subject:problem': 0.22; "python's": 0.23; 'possibility': 0.27; 'least': 0.27; 'comparison': 0.29; 'consequence': 0.29; 'flying': 0.29; 'operators': 0.29; 'languages': 0.34; 'to:addr:python-list': 0.35; 'false': 0.35; 'there': 0.36; 'possible': 0.36; 'received:10': 0.37; 'subject:: ': 0.37; 'received:66': 0.38; 'does': 0.39; 'enough': 0.39; 'to:addr:python.org': 0.39; 'where': 0.40; 'called': 0.40; 'some': 0.40; 'from:no real name:2**0': 0.61; 'header:Message-Id:1': 0.62
DKIM-Signature v=1; a=rsa-sha1; c=relaxed/relaxed; d=fastmail.us; h= content-transfer-encoding:content-type:date:from:message-id :mime-version:subject:to:x-sasl-enc:x-sasl-enc; s=mesmtp; bh=ILn X5OSUAQbNjDNGFLpSNsxNATs=; b=aXu+/2XEk189rNC6u1ZvrWl0ghF/J6RU5wg 8NKuQH/JVXoFYupxhVNzMk51lb92TuUmquJBz24hdAOZOwO4keVydSAScXmhwcuo rDTnkYP4nM0E2x67KyfmSQTXmP+hq9ZhPsgNbAxu9Xv663Tl4nflNQDTrDimJ1Pm c7vQun4c=
DKIM-Signature v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-sasl-enc :x-sasl-enc; s=smtpout; bh=ILnX5OSUAQbNjDNGFLpSNsxNATs=; b=tZypp N4qP7KOcJPKqD87F1hnRNoY1o9C1Sz0CFGpCvoJ26GnsDEOHKsjVUHtqaQFu37W9 V3b/qsmFTLv+5WH+G/BPdoZtgzI9XTdWmLeKp9dpLhBUFMAy1LgkmqTb3xSKlFcY yce6DA9FFF3oGh0c2YuxiA/b1p9lOmvOt9kr6w=
X-Sasl-Enc SLoQ8eoRAq2DF5pfMp9N6zYysOj7BnduwrAmtZH7w1R8 1432869619
From random832@fastmail.us
To python-list@python.org
MIME-Version 1.0
Content-Transfer-Encoding 7bit
Content-Type text/plain
X-Mailer MessagingEngine.com Webmail Interface - ajax-073992ec
Subject Re: Logic problem: need better logic for desired thruth table.
Date Thu, 28 May 2015 23:20:19 -0400
X-BeenThere python-list@python.org
X-Mailman-Version 2.1.20+
Precedence list
List-Id General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive <http://mail.python.org/pipermail/python-list/>
List-Post <mailto:python-list@python.org>
List-Help <mailto:python-list-request@python.org?subject=help>
List-Subscribe <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups comp.lang.python
Message-ID <mailman.152.1432869623.5151.python-list@python.org> (permalink)
Lines 17
NNTP-Posting-Host 2001:888:2000:d::a6
X-Trace 1432869623 news.xs4all.nl 2906 [2001:888:2000:d::a6]:41368
X-Complaints-To abuse@xs4all.nl
Xref csiph.com comp.lang.python:91421

Show key headers only | View raw


On Thu, May 28, 2015, at 17:50, Skybuck Flying wrote:
> Surpisingly enough I don't think there is a casual/common operator for
> this 
> thruth table.
> 
> AND does not apply.
> OR does not apply.
> XOR does not apply.

All sixteen possible logical operators have formal names. This one is
called "B implies A". It can be implemented, as others have mentioned
with "A or not B".

The possibility of spelling these with the comparison operators, as some
have suggested, is a consequence of Python's implementation where True
== 1 and False == 0. In other languages bool may not be relatable (or at
least not orderable), or False may be == -1.

Back to comp.lang.python | Previous | NextNext in thread | Find similar | Unroll thread


Thread

Re: Logic problem: need better logic for desired thruth table. random832@fastmail.us - 2015-05-28 23:20 -0400
  Re: Logic problem: need better logic for desired thruth table. "Skybuck Flying" <skybuck2000@hotmail.com> - 2015-05-29 05:49 +0200
    Re: Logic problem: need better logic for desired thruth table. Laura Creighton <lac@openend.se> - 2015-05-29 06:44 +0200
    Re: Logic problem: need better logic for desired thruth table. Steven D'Aprano <steve@pearwood.info> - 2015-05-29 16:00 +1000
    Re: Logic problem: need better logic for desired thruth table. random832@fastmail.us - 2015-05-29 08:12 -0400

csiph-web