[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] simplify

I have a goal sequent, and I want to see if the sequent is equivalent
to FALSE.  It usually works to use (simplify) and check the result.
However, sometimes calling simplify returns the goal (FALSE OR FALSE).
Is it possible to get the formula to simplify to FALSE?  Is there some
other way of testing if a formula is trivally equivalent to false?