>>205
> ３）ｆ
× t∨t とか f∨t は何になる？
> ４）α　
○
> ５）αとｆ？　
？ t∨f とか f∨f は何になる？
> ６）ｆ
○