Problem 47

(Easy 🌟) Truth tables for logical expressions (part 2).

def table (p : Bool → Bool → Bool) : List (List Bool) :=
  sorry

-- The following codes are for test and you should not edit these.

#guard table (fun a b => a && (a || b)) ==
  [
    [true, true, true],
    [true, false, true],
    [false, true, false],
    [false, false, false]
  ]