参考にどうぞ
https://eng.kice.tokyo/logic/logic_ex3/