34 lines
872 B
Rust
34 lines
872 B
Rust
mod adder;
|
|
mod ast;
|
|
mod boolean_evaluation;
|
|
mod gray_code;
|
|
mod multiplier;
|
|
mod negation_normal_form;
|
|
mod truth_table;
|
|
|
|
use gray_code::gray_code;
|
|
use truth_table::print_truth_table;
|
|
use negation_normal_form::negation_normal_form;
|
|
|
|
fn main() {
|
|
println!("Hello, world!");
|
|
println!("{}", gray_code(4_294_967_295));
|
|
println!("{}", gray_code(511));
|
|
println!("{}", gray_code(255));
|
|
println!("{}", gray_code(127));
|
|
println!("{}", gray_code(63));
|
|
println!("{}", gray_code(31));
|
|
println!("{}", gray_code(15));
|
|
println!("{}", gray_code(7));
|
|
println!("{}", gray_code(3));
|
|
print_truth_table("ZFG|&");
|
|
print_truth_table("ABC|&");
|
|
let formula = "AB=CD^|!AD!^!&!";
|
|
println!("{formula}");
|
|
print_truth_table(formula);
|
|
let formula = &negation_normal_form(formula);
|
|
println!("{formula}");
|
|
print_truth_table(formula);
|
|
|
|
}
|