Display program code

boolean.pl : Boolean handler with labeling
Boolean handler for and, or, xor, neg, and imp (implication) with labeling and halfadder and fulladder.

How to use:
The following constraints are handled:
boolean(A) A is boolean: A=0 or A=1
and(A,B,C) logical conjunction: C=A and B
or(A,B,C) logical disjunction: C=A or B
xor(A,B,C) logical exclusive-or: C=A xor B
neg(A,B) logical negation: B=not A
imp(A,B) logical implication: not A or B=true
labeling(A) label variable A
half_adder(X,Y,S,C) X+Y = S+2*C
full_adder(X,Y,Ci,S,Co) X+Y+Z = S+2*Co

Program: Change the code, then submit!

Console: Enter query or select example from below, then submit and wait for answer!

Select example query: 

CHR
WebCHR help - CHR Website - (c) Copyrights Martin Kaeser Uni Ulm 2007