IsTautology
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
Check if expression is a tautology using brute-force enumeration. O(2^n) complexity, max 20 variables.
IsTautology(boolean) -> booleanas compute-engine declares it