0:00
IntermediateTruth TablesTruth Table

Complete the truth table for the expression: ¬(A → B)

Select ⊤ (true) or ⊥ (false) for each row in the truth table.

AB!(A -> B)