bex 0.3.0

A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Simplification rules for simple boolean operations.
use crate::nid::{NID, I, O};

pub fn xor(x:NID, y:NID)->Option<NID> {
  if x == y { Some(O) }
  else if x == O { Some(y) }
  else if x == I { Some(!y) }
  else if y == O { Some(x) }
  else if y == I { Some(!x) }
  else if x == !y { Some(I) }
  else { None }}

pub fn and(x:NID, y:NID)->Option<NID> {
  if x == O || y == O { Some(O) }
  else if x == I || x == y { Some(y) }
  else if y == I { Some(x) }
  else if x == !y { Some(O) }
  else { None }}

pub fn or(x:NID, y:NID)->Option<NID> {
  if x == O { Some(y) }
  else if y == O { Some(x) }
  else if x == I || y == I { Some(I) }
  else if x == y { Some(x) }
  else if x == !y { Some(I) }
  else { None }}