OKlibrary
0.2.1.6

Plans on representations of propositional logic. More...
Go to the source code of this file.
Plans on representations of propositional logic.
matchdeclare(logexpr,true); matchdeclare(logexpr2,true); kill(ando,oro,nego); declare(ando, commutative); declare(ando, nary); tellsimp(ando(true,logexpr),logexpr); tellsimp(ando(false,logexpr),false); tellsimp(ando(),true); tellsimp(ando(logexpr),logexpr); tellsimp(ando(logexpr,logexpr),logexpr); declare(oro, commutative); declare(oro, nary); matchdeclare(logexpr,true); tellsimp(oro(true,logexpr),true); tellsimp(oro(false,logexpr),logexpr); tellsimp(oro(),false); tellsimp(oro(logexpr),logexpr); tellsimp(oro(logexpr,logexpr),logexpr); tellsimp(ando(logexpr,oro(logexpr,logexpr2)),logexpr); tellsimp(oro(logexpr,ando(logexpr,logexpr2)),logexpr); tellsimp(oro(ando(logexpr,logexpr2),ando(logexpr,nego(logexpr2))),logexpr); tellsimp(ando(oro(logexpr,logexpr2),oro(logexpr,nego(logexpr2))),logexpr); tellsimp(nego(false), true); tellsimp(nego(true), false); tellsimp(nego(nego(logexpr)),logexpr); tellsimp(ando(logexpr,nego(logexpr)),false); tellsimp(oro(logexpr,nego(logexpr)),true); tellsimp(nego(ando(logexpr,logexpr2)),oro(nego(logexpr),nego(logexpr2))); tellsimp(nego(oro(logexpr,logexpr2)),ando(nego(logexpr),nego(logexpr2)));
Definition in file Formulas.hpp.