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] ]