• Kogasa
    arrow-up
    5
    arrow-down
    0
    ·
    9 months ago
    link
    fedilink

    Using standard definitions from propositional logic they are equivalent.