Problem 46

(Intermediate 🌟🌟) Truth tables for logical expressions.

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 => And a (Or a b)) ==
  [
    [true, true, true],
    [true, false, true],
    [false, true, false],
    [false, false, false]
  ]