next up previous contents
Next: Implications Between Propositions Up: Applications to Propositional Previous: Applications to Propositional

Equivalence of Propositions in a Propositional Boolean Algebra

Let () be a propositional Boolean algebra for denoting the propositional variables. The isomorphic polynomial boolean algebra is ~+, where

Two elements will be equivalent iff their images in are equal. Therefore, the following procedure checks whether and are equivalent.

if convert(expand(alfa-beta),mod2)=0 then print(YES) else print(NO) fi;

Andre Heck
Sun Apr 23 10:32:10 MDT 1995