Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- BooleanEvaluation1
- True
- BooleanEvaluation2
- is_true(V, X imp Y) :- is_true(V, -X or Y)).
- is_true(V, X equiv Y) :- is_true(V, X imp Y), is_true(V, Y imp X).
- the valuation succeeds
- ?- is_true(v0, -(a and b) equiv (-a or -b)).
- true.
- BooleanEvaluation3
- ?- valuation(V), is_true(V, -(a and b) equiv (-a or -b)).
- V = [a, b, c] ;
- V = [a, b] ;
- V = [a, c] ;
- V = [a] ;
- V = [b, c] ;
- V = [b] ;
- V = [c] ;
- V = [] ;
- false.
- ?- valuation(V), is_true(V, a imp (a imp b)).
- V = [a, b, c] ;
- V = [a, b] ;
- V = [a, c] ;
- V = [a] ;
- V = [b, c] ;
- V = [b] ;
- V = [c] ;
- V = [] ;
- false.
- ?- valuation(V), is_true(V, (a imp (b imp c)) imp ((a imp b) imp (a imp c))).
- V = [a, b, c] ;
- V = [a, b] ;
- V = [a, c] ;
- V = [a] ;
- V = [b, c] ;
- V = [b] ;
- V = [c] ;
- V = [] ;
- false.
- ?- valuation(V), is_true(V, (((a imp b) and (b imp c)) imp -(-c and a))).
- V = [a, b, c] ;
- V = [a, b] ;
- V = [a, c] ;
- V = [a] ;
- V = [b, c] ;
- V = [b] ;
- V = [c] ;
- V = [] ;
- false.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement