• Kogasa
    link
    fedilink
    arrow-up
    5
    ·
    2 years ago

    Using standard definitions from propositional logic they are equivalent.