TautologyQ

ใช้งานได้

Tests whether a boolean expression is a tautology.

รูปแบบ

TautologyQ[bf]

TautologyQ[expr, {a1, a2, …}]

ตัวอย่างที่ตรวจสอบแล้วTautologyQ[True] → True TautologyQ[(a || b) && (!a || !b), {a, b}] → False

รันสิ่งนี้บน Qurak ค้นหาในเอกสารอ้างอิง

หัวข้อ

Boolean Computation - Boolean Function Testing
Graph Programming - Boolean Function-Based Algorithms »
New In70 Alphabetical Listing - T
New In70 Mathematics And Algorithms - Boolean Computation »
Theorem Proving - Propositional Logic & Boolean Algebra »

ที่เกี่ยวข้อง

SatisfiableQ ForAll BooleanTable BooleanMinimize BooleanConvert Conjunction Disjunction SatisfiabilityCount True BooleanCountingFunction BooleanFunction BooleanMaxterms

ฟังก์ชันทั้งหมด 6300 รายการ · ใช้สิ่งนี้จากไคลเอนต์ MCP