Logic algebra

• Subject: Logic algebra
• From: Stavros Macrakis
• Date: Thu, 10 Apr 2008 18:22:57 -0400

Oops, my bug report for functionallycomplete is incorrect, since with
f(x,y):= NOT x AND NOT y, f(f(x,f(x,x),f(x,f(x,x))) == 1, but you
can't do anything similar with x AND NOT y.

Sorry about that.

        -s

• Prev by Date: Logic algebra
• Next by Date: is series available in maxima?
• Previous by thread: Logic algebra
• Next by thread: Logic algebra
• Index(es):
  • Date
  • Thread