The present article describes a method for checking the validity of implications or equivalences in the free orthomodular lattice on two generators and in the F(a, b, c1,..., cn), which is the free orthomodular lattice generated by the elements a, 6, ci,... Cn, where the elements ci, i = 1,..., n are central in it. The structure of the previous lattices is described in  and . The method presented is based on comparing the elements that are assigned to each expression on both sides of an implication or an equivalence. It gives a necessary condition for the implication or equivalence of arbitrary positive statements (a combination of identities and logical connectives AND and OR) to hold. When the conclusion part is an identity or a conjunction of identities, these conditions become also sufficient.