Logical operations are the standard operators of Boolean logic.
Usage: x->y
Return truth value of x implies y
Usage: x->y
Return truth value of x implies y
Usage: x/\y
Return truth value of x ∧ y
Usage: x/\y
Return truth value of x ∧ y
Usage: x<-y
Return truth value of y implies x
Usage: x<-y
Return truth value of y implies x
Usage: x<->y
Return truth value of x if-and-only-if y
Usage: x<->y
Return truth value of x if-and-only-if y
Usage: x\/y
Return truth value of x ∨ y
Usage: x\/y
Return truth value of x ∨ y
Usage: not x
Return truth value of the negation of x
Usage: not x
Return truth value of the negation of x
Usage: x xor y
Return truth value of x xor y
Usage: x xor y
Return truth value of x xor y
Return truth value of \((\bigvee_i {\bf x}[i]) \lor (\bigvee_j \lnot {\bf y}[j])\)
Return truth value of \((\bigvee_i {\bf x}[i]) \lor (\bigvee_j \lnot {\bf y}[j])\)
Return truth value of \(\bigvee_i {\bf x}[i]\)
Return truth value of \(\bigvee_i {\bf x}[i]\)
Return truth value of \(\bigwedge_i {\bf x}[i]\)
Return truth value of \(\bigwedge_i {\bf x}[i]\)
Return truth value of \(\text{true}\oplus (\oplus_i {\bf x}[i])\)
Return truth value of \(\text{true}\oplus (\oplus_i {\bf x}[i])\)
Return truth value of \(\oplus_i {\bf x}[i]\)
Return truth value of \(\oplus_i {\bf x}[i]\)