Simplify notnotpvvF to $p$

Select a next law from the right to apply

notnotpvvF

$pvvF$

Laws

Distributive

$(a^{{?}^{?}}b)vv(a^{{?}^{?}}c)-=a^{{?}^{?}}(bvvc)$

$(avvb{)}^{{?}^{?}}(avc)=$avv$(b^{{?}^{?}}c)$

Commutative

avb $-=$bva

$a^{{?}^{?}}b-=b^{{?}^{?}}a$

Complement

av$$a

$a^{{?}^{?}}$nota $-=,F$

Identity

$a^{{?}^{?}}T-=$

avF

Double negation

Double negation