(* CS576, MP 0 *)

(* Your name goes here! *)

theory mp0
imports Main
begin

lemma "((a \<and> b) \<or> c) = ((a \<or> c) \<and> (b \<or> c))"
sorry
(* complete the proof the only way you know how. *)

(* Write three more propositional lemmas and prove them the same way as above *)

end