-a ^ -b
___
{
    a v b
    ___
    {
        a
        ___
        -a
        F
    }
    {
        b
        ___
        -b
        F
    }
    F
}
-(a v b)