intl/basic

Possible boolean patterns

         0 0 1 1
         0 1 0 1

         v v v v

         0 0 0 0 false
     and 0 0 0 1 and
         0 0 1 0 !implies
         0 0 1 1 first
         0 1 0 0 !(only if)
         0 1 0 1 !second
         0 1 1 0 !eq      (xor)
      or 0 1 1 1 or
         1 0 0 0 !or      nor, neither
      eq 1 0 0 1 eq
         1 0 1 0 !second
 only if 1 0 1 1 only if  because
         1 1 0 0 !first
 implies 1 1 0 1 implies
         1 1 1 0 !and     nand
         1 1 1 1 !false   true

Values

pub fn iand(a: Int, b: Int) -> Int

0 | 0 -> 0 0 | 1 -> 0 1 | 0 -> 0 1 | 1 -> 1

pub fn ieq(a: Int, b: Int) -> Int
pub fn iimpl(a: Int, b: Int) -> Int
pub fn inot(a: Int) -> Int
pub fn ior(a: Int, b: Int) -> Int

0 | 0 -> 0 0 | 1 -> 1 1 | 0 -> 1 1 | 1 -> 1

pub fn irevi(a: Int, b: Int) -> Int
✨ Search Document