0:00
IntermediateTruth TablesTruth Table

Complete the truth table for the expression: A ∨ ¬A

This is the law of excluded middle: something is either true or not true. Select ⊤ (true) or ⊥ (false) for each row in the truth table.

AA | !A