Qurak
Entrar

Use logical operators

Guia prático 7 passos, executados em ordem numa sessão. Cada passo foi executado no motor e a saída abaixo é o que ele produziu.

Passo 1
(True && False) || !True
Saída
False
Passo 2
Or[And[True, False], Not[True]]
Saída
False
Passo 3
BooleanConvert[(a && b) || (!a && b)]
Saída
(a && b) || ( !a && b)
Passo 4
Resolve[ForAll[{a, b}, Equivalent[(a && b) || (!a && b), b]], {a, b}, Booleans]
Saída
Resolve[ForAll[{a, b}, (a && b) || ( !a && b) ⧦ b], {a, b}, Booleans]
Passo 5
Resolve[ForAll[a, Exists[b, (a && b) || (!a && b)]], {a, b}, Booleans]
Saída
Resolve[ForAll[a, Exists[b, (a && b) || ( !a && b)]], {a, b}, Booleans]
Passo 6
Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]
Saída
Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]
Passo 7
SatisfiableQ[(a && b) && (!a || !b), {a, b}]
Saída
False
Executar no Qurak Todas as receitas

Funções usadas

AndBooleanConvertEquivalentExistsForAllImpliesNotOrResolveSatisfiableQ

Receitas relacionadas

Todas as receitas · Referência de funções · Usar isto de um cliente MCP