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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
pub mod boolean;
pub mod boolean_neg;
pub mod conjunction;
pub mod disjunction;
pub mod ops;
pub use logic::boolean::*;
pub use logic::boolean_neg::*;
pub use logic::conjunction::*;
pub use logic::disjunction::*;
pub use logic::ops::*;
use gcollections::*;
use concept::*;
pub fn implication<VStore>(f: Formula<VStore>, g: Formula<VStore>) -> Formula<VStore> where
VStore: Collection + 'static
{
Box::new(Disjunction::new(vec![f, g.not()]))
}
pub fn equivalence<VStore>(f: Formula<VStore>, g: Formula<VStore>) -> Formula<VStore> where
VStore: Collection + 'static
{
Box::new(Conjunction::new(vec![
implication(f.bclone(), g.bclone()),
implication(g, f)
]))
}