New answers tagged logic
0
votes
Hoare Logic: Identifying Hoare Triple given a simple function
The postcondition is the intended sorting effect, $u_1\le u_2$.
if (x < y) {
u_1 = x;
u_2 = y;
} else {
u_1 = y;
u_2 = x;
} // u_1 <= u_2
So ...
- 321
2
votes
Is this LTL formula really valid?
The formula $\phi \mathrm{U} \psi$ is satisfied if $\psi$ is true right now. If we express it as "eventually $\psi$ becomes true and until then $\phi$ holds", it is important to remember ...
- 3,213
1
vote
Is this LTL formula really valid?
Consider a computation $\pi = \sigma_1, \sigma_2, \ldots$ over $2^{AP}$. For $j\geq 1$, let $\pi^j$ denote the suffix $\sigma_j, \sigma_{j+1}, \ldots$ of $\pi$. Then, the semantics of the $U$ operator ...
- 4,725
6
votes
How to make a NAND gate with vaccum tubes?
So... let's try to answer this in a computer sciency way, so we can get across the general idea without knowing too much about electronics.
But first, let's be clear on what we mean by "the NAND ...
- 23.1k
2
votes
Accepted
Is Monotone Not-Exactly-1 3SAT solvable in polynomial time?
Monotone Not-Exactly-1 3SAT problem (MNE1 3-SAT)
This problem involves determining whether a Boolean formula in CNF, where each clause contains exactly three positive literals (no negations), can be ...
Top 50 recent answers are included